Skip to content
P

ProjectiveGeometryAgda

Project ID: 1278

Public available code for paper "Formalizing Projective Geometry in Agda"