Formalización de las matemáticas en Lean

Este repositorio es una adaptación del de Kevin Buzzard formalising-mathematics

Matemáticas básicas

• Lógica.
• Conjuntos.
• Funciones.
• Relaciones.

Grupos y subgrupos

• Grupos.
• Subgrupos.

Límites

• Límites de sucesiones.
• Límites mediante filtros.

Topología

• Conjuntos

• Mónada opcional

• Topología

Filtros

• Filtros

• Filtros y topología

Límites con filtros

• Límites con filtros

• Límites de sucesiones