sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
36,141 Commits 4,240 Branches 120 Tags
b02228b03f655c0cd051d82280ad5758359ec8ba
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Sebastian Ullrich b02228b03f chore: revise environment constant addition details (#8610) 
* Move constant registration with elab env from `Lean.addDecl` to
`Lean.Environment.addDeclCore` for compatibility
* Make module system behavior independent of `Elab.async` value
2025-06-04 02:59:53 +02:00
.github
chore: CI: run Linux Lake in all configurations
2025-04-26 13:25:29 +02:00
doc
backport of feat: upgrades to release_checklist.py script #8192
2025-05-05 11:09:06 +02: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
nix
chore: fix Nix build
2025-04-21 18:40:11 +02:00
releases_drafts
chore: updates to release_checklist.md (#7817)
2025-04-04 03:45:36 +00:00
script
fix: ld.so linking on Linux (#8228)
2025-05-05 22:30:39 +10:00
src
chore: revise environment constant addition details (#8610)
2025-06-04 02:59:53 +02:00
stage0
chore: update stage0
2025-04-30 04:03:29 +00:00
tests
fix: exponential compilation times due to inlined instances (#8254)
2025-06-02 13:46:52 +02:00
.gitattributes
chore: Do not hide stage0/src/stdlib_flags.h from diffs
2023-09-13 19:29:25 +02:00
.gitignore
chore: update .gitignore for release checklist scripts (#7810)
2025-04-03 23:55:48 +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
fix: cadical distribution on Linux (#8201)
2025-05-02 21:30:48 +02:00
CMakePresets.json
chore: fix reldebug preset (#8051)
2025-04-23 10:05:11 +00:00
CODEOWNERS
chore: adjust CODEOWNERS (#6327)
2024-12-10 08:37:20 +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: robustify Nix shell (#8141)
2025-04-28 15:08:32 +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
chore: update documentation title and link README to reference (#6409)
2024-12-17 22:18:56 +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 Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).

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%