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
39,226 Commits 4,240 Branches 120 Tags
7e01a1bf5c70fc6167d49c345d3bf80596e9a79b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Kim Morrison 7e01a1bf5c doc: document release notes process and add guard check 
This PR documents the release notes writing process in detail and adds a guard
check to release_checklist.py to ensure release notes are created for -rc1
releases before proceeding with downstream repository updates.

Changes:
- doc/dev/release_checklist.md: Expanded "Writing the release notes" section
  with detailed steps for generating, reviewing, and formatting release notes
  in Verso format
- script/release_checklist.py: Added check_release_notes_file_exists() to
  verify the release notes file exists in reference-manual repository
- .claude/commands/release.md: Added "Release Notes" section explaining the
  process for creating release notes during -rc1 releases

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2026-01-26 18:11:39 +11:00
.claude
doc: document release notes process and add guard check
2026-01-26 18:11:39 +11:00
.github
fix: CI CMakeLists.txt version check extracts wrong value (#12131)
2026-01-24 00:34:31 +00:00
doc
doc: document release notes process and add guard check
2026-01-26 18:11:39 +11: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: add release draft for the module system (#11359)
2025-11-26 15:01:07 +00:00
script
doc: document release notes process and add guard check
2026-01-26 18:11:39 +11:00
src
chore: set LEAN_VERSION_IS_RELEASE to 1 for v4.28.0 release
2026-01-26 11:40:44 +11:00
stage0
chore: update stage0
2026-01-23 18:35:59 +00:00
tests
fix: revert "split ngen on async elab" (#12148)
2026-01-25 03:18:24 +00:00
.gitattributes
doc: grove: update and add String data (#11551)
2025-12-08 16:49:37 +00:00
.gitignore
chore: add .vscode/settings.json to .gitignore (#10795)
2025-10-16 07:08:41 +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 dynamic dependencies (#11475)
2025-12-02 13:54:26 +00:00
CMakePresets.json
chore: CI: enable leak sanitizer again (#11339)
2025-11-27 18:32:35 +00:00
CODEOWNERS
chore: make @hargoniX code owner of the compiler (#10732)
2025-10-10 04:43:38 +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: use lld if available for building core (#10694)
2025-10-08 16:47:30 +00:00
lean-toolchain
doc: VS Code dev setup (#2961)
2023-11-30 08:35:03 +00:00
lean.code-workspace
chore: lean.code-workspace: fix terminal cwd (#10802)
2025-10-16 20:19:12 +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%