leanprover/lean4Dokumentation

Lean 4 programming language and theorem prover

Sprach-Hinweis:Es ist keine lokalisierte Dokumentation verfügbar. Es wird das offizielle englische Original angezeigt.

Schnellinstallation

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

This is the repository for Lean 4.

About

Dokumentationsspiegel archiviert aus dem offiziellen GitHub-Repository · GitHub-Repository aufrufen

Snapshot-Datum: 2026-11-08