GuillermoCalderon / ProjectiveGeometryInAgda

A formalization of Constructive Projective Geometry in Agda

GuillermoCalderon/ProjectiveGeometryInAgda Stargazers

adelon
Wasif Baig
baig
citrusmunch
marek-jiricek
insighthorizon
Jon Sterling
jonsterling
Juan García-Garland
jota191
Juan Bono
juanbono
Rudi Grinberg
rgrinberg
Scott Fleischman
scott-fleischman
Shane Pearman
spearman
suzx917
Utensil
utensil

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.