jdolson / univalence-from-scratch

Univalence from scratch in Idris
19Updated 7 years ago

Alternatives and similar repositories for univalence-from-scratch:

Users that are interested in univalence-from-scratch are comparing it to the libraries listed below