sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
37,949 Commits 4,240 Branches 120 Tags
8dca311ba57f65675e6be737ae09e57989ce94b4
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Robert J. Simmons 8dca311ba5 doc: update URLs that are currently pointing to redirects (#10397) 
This PR updates several URLs that are currently pointing to redirects on
lean-lang.org, most importantly a few in the top-level README
2025-09-17 15:50:07 +00:00
.github
chore: CI: ensure cache reuse in update-stage0 (#10359)
2025-09-12 14:56:32 +00:00
doc
doc: testing Lean while avoiding rebuilds for downstream projects (#10328)
2025-09-10 13:53:34 +00:00
images
chore(CMakeLists.txt): move Lean logo to make sure we can test leanemacs without installing Lean
2015-01-31 17:38:49 -08:00
releases_drafts
chore: updates to release_checklist.md (#7817)
2025-04-04 03:45:36 +00:00
script
chore: fix to release scripts (#10401)
2025-09-16 00:23:55 +00:00
src
doc: update URLs that are currently pointing to redirects (#10397)
2025-09-17 15:50:07 +00:00
stage0
chore: update stage0
2025-09-17 14:32:29 +00:00
tests
refactor: change how equations for structural recursion are proved (#10415)
2025-09-17 13:46:45 +00:00
.gitattributes
fix: mark doc parser tests as eol=lf (#10344)
2025-09-11 11:19:01 +00:00
.gitignore
feat: further release automation (#9092)
2025-06-30 05:44:10 +00:00
.gitpod.Dockerfile
chore: add gitpod configuration (#6382)
2024-12-15 21:38:13 +00:00
.gitpod.yml
chore: add gitpod configuration (#6382)
2024-12-15 21:38:13 +00:00
.ignore
chore: ignore stage0/ (for rg etc.)
2022-03-18 15:28:20 +01:00
CMakeLists.txt
chore: make USE_LAKE the default (#10016)
2025-08-21 11:43:25 +00:00
CMakePresets.json
chore: fix reldebug preset (#8051)
2025-04-23 10:05:11 +00:00
CODEOWNERS
chore: make datokrat code owner for iterators, ranges and slices (#9667)
2025-08-01 17:34:43 +00:00
CONTRIBUTING.md
doc: triage
2024-07-26 18:24:06 +02:00
flake.lock
chore: robustify Nix shell (#8141)
2025-04-28 15:08:32 +00:00
flake.nix
chore: remove broken Nix build (#9910)
2025-08-14 08:31:39 +00:00
lean-toolchain
doc: VS Code dev setup (#2961)
2023-11-30 08:35:03 +00:00
lean.code-workspace
chore: add the lean4 extension to the vscode workspace (#3059)
2023-12-14 08:58:21 +00:00
LICENSE
chore: remove LICENSE header that confused GitHub
2021-11-18 09:42:35 +01:00
LICENSES
feat: ship cadical (#4325)
2024-08-23 09:13:27 +00:00
README.md
doc: update URLs that are currently pointing to redirects (#10397)
2025-09-17 15:50:07 +00:00
RELEASES.md
chore: updates to release_checklist.md (#7817)
2025-04-04 03:45:36 +00:00

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
leanlean4
Readme 5 GiB
Languages
Lean 94.3%
C++ 4.1%
Python 0.6%
Shell 0.4%
CMake 0.3%