3 ms·
Shouldn't it be written with Coq instead? Like UniMath[1] for example? [1] https://github.com/UniMath https://github.com/UniMath
by xvilka 7y ago
Shouldn't it be written with Coq instead? Like UniMath[1] for example?
[1] https://github.com/UniMath https://github.com/UniMath
- drchewbacca 7y agoThere are quite a few competing systems at the moment, as with all things software, each one wants to be the standard :) https://jiggerwit.wordpress.com/2018/04/14/the-architecture-of-proof-assistants/ https://jiggerwit.wordpress.com/2018/04/14/the-architecture-...