Explore projects
-
Updated
-
-
Updated
-
Updated
-
Marcos Mendez Quintero / Vent Display
GNU Affero General Public License v3.0Updated -
Updated
-
Public available code for paper "Formalizing Projective Geometry in Agda"
Updated -
Updated