mltt topic
List
mltt repositories
HoTT-UF-Agda-Lecture-Notes
213
Stars
18
Forks
Watchers
Lecture notes on univalent foundations of mathematics with Agda
groupoid.space
35
Stars
13
Forks
Watchers
π§ ΠΠ½ΡΡΠΈΡΡΡ ΡΠΎΡΠΌΠ°Π»ΡΠ½ΠΎΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ
anders
18
Stars
1
Forks
Watchers
Anders: Cubical Type Checker
anders
17
Stars
3
Forks
Watchers
π§ ΠΠΎΠ΄Π°Π»ΡΠ½ΠΈΠΉ Π³ΠΎΠΌΠΎΡΠΎΠΏΡΡΠ½ΠΈΠΉ Π²Π΅ΡΠΈΡΡΠΊΠ°ΡΠΎΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ