Recursos úteis de Lean

Uma coleção de recursos úteis para ajudar você a dominar o Lean

  • O site oficial é o principal repositório de conteúdo sobre a linguagem. Ele tem um playground online onde você pode experimentar a linguagem sem instalar nada.
  • O Reservoir indexa, compila e testa pacotes do ecossistema Lean e Lake. É o lugar certo para encontrar pacotes de terceiros.
  • A Lean Community é uma rede colaborativa de código aberto em torno do ecossistema Lean. Ela é responsável pela mathlib, a principal biblioteca de matemática mantida pela comunidade para o Lean 4.
  • O Lean 4 Zulip Chat é o principal chat da Lean Community.