type-theory topic
List
type-theory repositories
HoTT-UF-Agda-Lecture-Notes
213
Stars
18
Forks
Watchers
Lecture notes on univalent foundations of mathematics with Agda
proofs
286
Stars
11
Forks
Watchers
My personal repository of formally verified mathematics.
Kind1
3.5k
Stars
142
Forks
Watchers
A next-gen functional language
variant
176
Stars
3
Forks
Watchers
Variant types in TypeScript
lean3
2.1k
Stars
216
Forks
Watchers
Lean Theorem Prover
ttlite
121
Stars
9
Forks
Watchers
A SuperCompiler for Martin-Löf's Type Theory
agda
2.4k
Stars
337
Forks
Watchers
Agda is a dependently typed programming language / interactive theorem prover.
TypeTopology
212
Stars
39
Forks
Watchers
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Coq-HoTT
1.2k
Stars
181
Forks
Watchers
A Coq library for Homotopy Type Theory