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,887 Commits 4,240 Branches 120 Tags
6a60de2ac701d1a3f5dc88894b7822f17c3a980b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Mac Malone 6a60de2ac7 fix: lake: source file not in module input trace & some logs dropped (#9101) 
This PR fixes a bug introduce by #9081 where the source file was dropped
from the module input trace and some entries were dropped from the
module job log.

(cherry picked from commit 9db41f9931)
2025-06-30 16:06:31 -04:00
.github
perf: do not import non-meta IR
2025-06-27 08:13:31 -07:00
doc
chore: Grove: start on associative containers (#9039)
2025-06-27 13:34:10 +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
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
feat: further release automation (#9092)
2025-06-30 05:44:10 +00:00
src
fix: lake: source file not in module input trace & some logs dropped (#9101)
2025-06-30 16:06:31 -04:00
stage0
chore: update stage0
2025-06-30 01:20:30 +00:00
tests
feat: eliminate letFun support, deprecate let_fun syntax (#9086)
2025-06-30 02:10:18 +00:00
.gitattributes
chore: Do not hide stage0/src/stdlib_flags.h from diffs
2023-09-13 19:29:25 +02: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: compile stage 0 against correct version string (#9085)
2025-06-29 20:52:46 +00:00
CMakePresets.json
chore: fix reldebug preset (#8051)
2025-04-23 10:05:11 +00:00
CODEOWNERS
chore: add @zwarich to the compiler CODEOWNERS (#8305)
2025-05-12 18:42:54 +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: remove old documentation site (#7974)
2025-05-14 14:31:33 +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.

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%