3 ms·
What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.
by molikto 10y ago
What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.
- mietek 10y agoI agree. One could argue that Agda and Idris are a better interface to the type theory that underlies Coq.