leanprover/lean4Documentation

Lean 4 programming language and theorem prover

Avis de repli linguistique :La documentation localisée n'est pas disponible. Affichage de la version originale officielle en anglais.

Installation rapide

git clone https://github.com/leanprover/lean4.git

This is the repository for Lean 4.

About

Miroir archivé depuis le dépôt GitHub officiel · Voir sur GitHub

Date du snapshot : 2026-11-08