3 ms·
Thanks! And what about agda and Idris?
by The_rationalist 7y ago
Thanks!
And what about agda and Idris?
- aweinstock 7y agoAgda and Idris are the same sort of tool (total dependently typed languages/proof assistants/interactive theorem provers) as Lean and Coq.