🗄️
math-debrief
More
Search
Ctrl + K
Type Theory
Previous
Intuitionistic type theory
Next
TTTools
Last updated
2 years ago
TTTools
Coinduction
Impredicativity
Lean
Subsumption