unimath topic
List
unimath repositories
UniMath
920
Stars
169
Forks
Watchers
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
reed-thesis
15
Stars
0
Forks
Watchers
My undergradate thesis on coinductive types in univalent type theory