Risorse utili su Lean

Una raccolta di risorse utili per aiutarti a padroneggiare Lean

  • Il sito ufficiale è il principale archivio di contenuti sul linguaggio. Ha un playground online dove puoi provare il linguaggio senza installare nulla.
  • Il Reservoir indicizza, compila e testa i pacchetti dell'ecosistema Lean e Lake. È il posto giusto dove andare per i pacchetti di terze parti.
  • La Lean Community è una rete collaborativa e open source attorno all'ecosistema Lean. Si occupa di mathlib, la principale libreria matematica per Lean 4 sviluppata dalla comunità.
  • La Lean 4 Zulip Chat è la chat principale della Lean Community.