🚴
Graduated in maths, Interested in geometry, logic and formal methods. I'm also a self-taught web developer. I love free software and use nixos on my machines
- Spain
-
13:38
(UTC +02:00) - https://haztecaso.com
Pinned Loading
-
-
-
euclidean-geometry-lean
euclidean-geometry-lean PublicTrabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.