4 ms·
Coq[0] provides functionality that is an extension of this concept. It checks your proofs for you! [0]- https://coq.inria.fr/ https://coq.inria.fr/
by wz1000 12y ago
Coq[0] provides functionality that is an extension of this concept. It checks your proofs for you!
[0]- https://coq.inria.fr/ https://coq.inria.fr/