4 ms·Theorem provers that use dependent typing, like Coq.by tsnl 3y agoTheorem provers that use dependent typing, like Coq.