martin-lof-type-theory topic
List
martin-lof-type-theory repositories
HoTT-UF-Agda-Lecture-Notes
213
Stars
18
Forks
Watchers
Lecture notes on univalent foundations of mathematics with Agda
saki-dev
22
Stars
3
Forks
22
Watchers
A simple scala-like dependent type programming language