jdolson / univalence-from-scratchLinks

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

Sorting: