🚴
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
-
14:59
(UTC +01: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
-
spanish-nif
spanish-nif PublicLightweight Pydantic-compatible validators for Spanish NIF, DNI, and NIE identifiers, with strict control letter logic and ready-to-use string subclasses.
Python 1
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.