Explore projects
-
Núcleo de Teoría de la Información / libjls
GNU General Public License v3.0 or laterUpdated -
-
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