Topic: "univalent-type-theory"
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language: Agda - Size: 5.8 MB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 219 - Forks: 18
rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
Language: HTML - Size: 8.21 MB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 18 - Forks: 1
Related Topics