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
35,804 Commits 4,240 Branches 120 Tags
6caaee842e9495688c1567e78c0e68dbb96942aa
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Mac Malone 6caaee842e chore: lake: backport dynlib fixes (#8187) 
This PR backports fixes to dynamic library linking and loading in Lake
to `v4.19.0`.

Includes changes from #7809, #8026, #8152, and #8190.
2025-04-30 23:13:10 -04:00
.github
perf: use mimalloc by default (#7710)
2025-03-30 22:40:41 +00:00
doc
chore: add script to generate release steps (#7747)
2025-04-01 04:25:57 +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
perf: use mimalloc by default (#7710)
2025-03-30 22:40:41 +00:00
releases
chore: copy v4.17.0 release notes from releases/v4.17.0 branch (#7325)
2025-03-04 11:24:51 +00:00
releases_drafts
feat: importModules without loading environment extensions (#6325)
2025-04-02 22:34:06 +11:00
script
feat: upgrades to release automation (#7769)
2025-04-01 08:17:24 +00:00
src
chore: lake: backport dynlib fixes (#8187)
2025-04-30 23:13:10 -04:00
stage0
chore: update stage0
2025-03-30 18:36:13 +00:00
tests
fix: linter should have access to complete command message log (#8101)
2025-04-27 16:10:15 +02:00
.gitattributes
chore: Do not hide stage0/src/stdlib_flags.h from diffs
2023-09-13 19:29:25 +02:00
.gitignore
feat: support Lake for building Lean core oleans (#3886)
2024-06-13 16:18:24 +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: sanitize build and mimalloc (#7772)
2025-04-01 12:57:24 +00:00
CMakePresets.json
fix: sanitize build and mimalloc (#7772)
2025-04-01 12:57:24 +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
feat: upgrade cadical to 2.1.2 (#7347)
2025-03-05 17:58:58 +00:00
flake.nix
chore: CI: bring back coredump tracing (#7625)
2025-03-21 15:25:45 +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: split RELEASES.md into releases/ folder (#6918)
2025-02-03 11:04:09 +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%