/euclidean-geometry-lean

Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.

Primary LanguageTeX

Watchers