max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
Lean 4 fork for HoTT-compatible kernel extensions (Path types, transport, HITs). Maintained against upstream leanprover/lean4.
39907 commits 1 branch 0 tags 5.3 GiB
Find a file
Lean stage0 autoupdater e33d0d33da chore: update stage0
2026-03-20 19:39:29 +00:00
.claude chore: speed up test suite slightly (#12969) 2026-03-20 12:24:32 +00:00
.github
.vscode
doc chore: check test output before exit code in piles (#12947) 2026-03-17 16:34:21 +00:00
images
releases_drafts
script fix: use null-safe while-read loop for subverso manifest sync (#12928) 2026-03-16 08:17:32 +00:00
src perf: forward propagation of user defined borrrow annotations (#13001) 2026-03-20 19:03:17 +00:00
stage0 chore: update stage0 2026-03-20 19:39:29 +00:00
tests perf: forward propagation of user defined borrrow annotations (#13001) 2026-03-20 19:03:17 +00:00
.gitattributes
.gitignore
.gitpod.Dockerfile
.gitpod.yml
.ignore
CMakeLists.txt chore: make leantar available in stage0 (#12992) 2026-03-19 20:43:43 +00:00
CMakePresets.json
CODEOWNERS
CONTRIBUTING.md
flake.lock
flake.nix chore: add aarch64-darwin to flake (#12915) 2026-03-18 15:55:34 +00:00
lean-toolchain
LICENSE
LICENSES
README.md
RELEASES.md

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.