3 ms·
Yes, you're talking about Coq. The system in this post is a fairly simple one based on unification; Coq is a full-blown theorem prover.
by asuffield 12y ago
Yes, you're talking about Coq. The system in this post is a fairly simple one based on unification; Coq is a full-blown theorem prover.