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.
39613 commits 1 branch 0 tags 5.3 GiB
Find a file
Lean stage0 autoupdater c03fbddef0 chore: update stage0
2026-02-23 00:04:52 +00:00
.claude chore: CLAUDE.md: restrict build parallelism (#12624) 2026-02-22 14:35:05 +00:00
.github feat: lazy initialization of closed terms (#12044) 2026-02-20 08:45:15 +00:00
doc chore: improve release command PR status checking (#12536) 2026-02-17 21:21:30 +00:00
images
releases_drafts chore: remove stale release draft notes (#12518) 2026-02-17 19:56:23 +00:00
script fix: update bump branch toolchain to nightly for all repos (#12586) 2026-02-19 13:04:26 +00:00
src feat: enable backward.whnf.reducibleClassField (#12538) 2026-02-22 23:22:14 +00:00
stage0 chore: update stage0 2026-02-23 00:04:52 +00:00
tests feat: enable backward.whnf.reducibleClassField (#12538) 2026-02-22 23:22:14 +00:00
.gitattributes doc: grove: update and add String data (#11551) 2025-12-08 16:49:37 +00:00
.gitignore chore: enable leanprover/skills plugin for Claude Code (#12609) 2026-02-20 12:35:32 +00:00
.gitpod.Dockerfile
.gitpod.yml
.ignore
CMakeLists.txt chore: fix repeated cmake calls breaking the build (#12598) 2026-02-19 16:23:47 +00:00
CMakePresets.json
CODEOWNERS
CONTRIBUTING.md
flake.lock chore: update to c++20 (#12117) 2026-02-11 01:17:40 +00:00
flake.nix chore: update to c++20 (#12117) 2026-02-11 01:17:40 +00:00
lean-toolchain
lean.code-workspace
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.