3 ms·
I'm a layman, and I understand that Coq is a proof assistant that uses type theory. This comment seems true to me. Why is it down-voted?
by ackfoobar 4y ago
I'm a layman, and I understand that Coq is a proof assistant that uses type theory. This comment seems true to me.
Why is it down-voted?