GuillermoCalderon

Universidad de la RepúblicaMontevideo, Uruguay

Pinned Repositories

AfinizationOfProjectiveGeometry
Formalization in Agda of the problem of "afinitization": restriction of a projective plane into an affine one
Language:Agda0 1 00
ProjectiveGeometryInAgda
A formalization of Constructive Projective Geometry in Agda
Language:Agda12 2 00

GuillermoCalderon's Repositories

GuillermoCalderon/ProjectiveGeometryInAgda
A formalization of Constructive Projective Geometry in Agda
Language:Agda12 2 00
GuillermoCalderon/AfinizationOfProjectiveGeometry
Formalization in Agda of the problem of "afinitization": restriction of a projective plane into an affine one
Language:Agda0 1 00