Recursos útiles de Lean

Una colección de recursos útiles para ayudarte a dominar Lean

  • El sitio oficial es el principal repositorio de contenido sobre el lenguaje. Tiene una zona de pruebas en línea donde puedes probar el lenguaje sin instalar nada.
  • Reservoir indexa, construye y prueba paquetes dentro del ecosistema de Lean y Lake. Es el lugar al que ir para paquetes de terceros.
  • Lean Community es una red colaborativa de código abierto en torno al ecosistema de Lean. Es responsable de mathlib, la principal biblioteca de matemáticas impulsada por la comunidad para Lean 4.
  • Lean 4 Zulip Chat es el chat principal para Lean Community.