À propos du projet

Lean 4 est le dépôt du langage de programmation et assistant de preuve Lean 4, un outil pour écrire et vérifier des preuves formelles ainsi que pour développer des programmes fonctionnels. Le projet fournit un guide de démarrage rapide, une page d'accueil, un tutoriel de démonstration de théorèmes, un guide de programmation fonctionnelle, un aperçu de la documentation, une référence du langage, des notes de version à partir de v4.0.0-m3, des exemples et des directives de contribution externes. Les instructions d'installation sont disponibles sur le site du projet, et le projet peut être compilé à partir des sources en suivant le processus de compilation documenté. Les contributeurs sont invités à lire les directives de contribution avant de soumettre des modifications.