Tobias-Schmude

Pinned Repositories

UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq952 57 512172

Tobias-Schmude's Repositories

Tobias-Schmude/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00