3 ms·
There’s other efforts, like the UniMath project by the HoTT people. https://github.com/UniMath/UniMath https://github.com/UniMath/UniMath
by FakeComments 7y ago
There’s other efforts, like the UniMath project by the HoTT people.
https://github.com/UniMath/UniMath https://github.com/UniMath/UniMath