All Git Users → martinescardo

2 open source projects by martinescardo

[ Open user page on Github ]

1. Hott Uf Agda Lecture Notes

Lecture notes on univalent foundations of mathematics with Agda

✭ 162

2. TypeTopology

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

✭ 132

Agda TeX type-theory agda ordinal homotopy-type-theory univalent-foundations constructive-mathematics compact-type totally-separated-type injective-type searchable-set univalent-mathematics

1-2 of 2 user projects