3 ms·
Coq is all about the types.
by zaik 4y ago
Coq is all about the types.
- deleted 4y ago[deleted]
- ackfoobar 4y agoI'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?