niccoloveltri / final-pfin
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for final-pfin
- Experiments in Synthetic Differential Geometry☆15Updated 3 years ago
- Experiments with preordered set models of (directed) type theories☆15Updated 5 years ago
- Agda code for experimenting with internal models of cubical type theory