Recursos útiles para 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 un entorno de pruebas en línea donde puedes probar el lenguaje sin instalar nada.
  • Reservoir indexa, compila y prueba paquetes dentro del ecosistema de Lean y Lake. Es el lugar al que acudir para paquetes de terceros.
  • Lean Community es una red colaborativa y 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 de Lean Community.