Ressources utiles pour Lean

Une sélection de ressources utiles pour t'aider à maîtriser Lean

  • Le site officiel est le principal dépôt de contenu sur le langage. Il propose un playground en ligne où tu peux essayer le langage sans rien installer.
  • Le Reservoir indexe, compile et teste les paquets de l'écosystème Lean et Lake. C'est là qu'il faut aller pour trouver des paquets tiers.
  • Lean Community est un réseau collaboratif et open source autour de l'écosystème Lean. Il est responsable de mathlib, la principale bibliothèque de mathématiques communautaire pour Lean 4.
  • Lean 4 Zulip Chat est le principal espace de discussion de la communauté Lean.