ForMatUS: Libro “Matemáticas en Lean”
El objetivo del libro Matemáticas en Lean es presentar el uso de Lean en el desarrollo formalizado de las Matemáticas. La presentación de hace mediante ejemplos y está basada en el libro Mathematics in Lean de Jeremy Avigad, Kevin Buzzard, Robert Y. Lewis y Patrick Massot.
Los códigos del libro se encuentran en el repositorio Matematicas_en_Lean de GitHub.