3 ms·
Yet there's a movement here https://github.com/HoTT/HoTT https://github.com/HoTT/HoTT where they do everything in Coq.
by nlperguiy 9y ago
Yet there's a movement here https://github.com/HoTT/HoTT https://github.com/HoTT/HoTT where they do everything in Coq.