This repository has been frozen. Lean 4 is now the official release.
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GeezerVison is showing github.com — GitHub - leanprover/lean3: Lean Theorem Prover
This repository was archived by the owner on Oct 14, 2023. It is now read-only.
Folders and files
Repository files navigationThis repository has been frozen. Lean 4 is now the official release. Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions. AboutLean Theorem Prover TopicsResourcesContributingReleasesPackagesUsed byContributorsLanguages | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||