Topic: "martin-lof-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
saki-lang/saki-dev
A simple scala-like dependent type programming language
Language: Scala - Size: 605 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 17 - Forks: 2
lane-core/kitcat
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Language: Agda - Size: 134 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0
lepton-lang/mltt-type-checker
An MLTT type checker implemented using Saki-Lang
Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
FilippoFantinato/type-theory
Type Theory course ; Master's Degree in Computer Science @ UniPD
Language: Agda - Size: 53.7 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
