Related Repos
Search
⌘K
Feedback
GuillermoCalderon / ProjectiveGeometryInAgda
A formalization of Constructive Projective Geometry in Agda
☆12
Updated 5 years ago
Related projects:
ⓘ
IanOrton / cubical-topos-experiments
Agda code for experimenting with internal models of cubical type theory