Explore projects
-
Simple aplicación en Python para probar CI/CD en Gitlab.
Updated -
Updated
-
Public available code for paper "Formalizing Projective Geometry in Agda"
Updated -
Updated
-
-
-
-
Updated
-
Updated
-
Updated
-
Updated