Recursos úteis sobre Lean

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

  • O sítio oficial é o principal repositório de conteúdo sobre a linguagem. Tem um playground online onde podes experimentar a linguagem sem instalares nada.
  • O Reservoir indexa, compila e testa pacotes do ecossistema Lean e Lake. É o sítio a visitar para pacotes de terceiros.
  • A Lean Community é uma rede colaborativa de código aberto em torno do ecossistema Lean. É responsável pela mathlib, a principal biblioteca de matemática criada pela comunidade para o Lean 4.
  • O Lean 4 Zulip Chat é o chat principal da Lean Community.