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.
31987 commits 1 branch 0 tags 5.3 GiB
Find a file
Sebastian Ullrich 14296ae720
chore: Nix CI: update setup (#3015) 
Now that we're, at least temporarily, relying more on the Nix CI,
replace some old hacks of mine with better solutions people have figured
out in the meantime.

Cachix support could probably be dropped at this point but it doesn't
really hurt.
2023-12-03 17:51:05 +00:00
.github chore: Nix CI: update setup (#3015) 2023-12-03 17:51:05 +00:00
doc doc: remove Nix docs 2023-12-01 08:32:20 +00:00
images
nix feat: per-package server options (#2858) 2023-11-26 13:42:38 +00:00
script chore: script/most-recent-nightly-tag uses https rather than ssh repo URL (#2951) 2023-11-23 10:27:46 +00:00
src refactor: rewrite TerminationHint elaborators (#2958) 2023-12-02 10:08:07 +00:00
stage0 refactor: rewrite TerminationHint elaborators (#2958) 2023-12-02 10:08:07 +00:00
tests refactor: rewrite TerminationHint elaborators (#2958) 2023-12-02 10:08:07 +00:00
.gitattributes chore: Do not hide stage0/src/stdlib_flags.h from diffs 2023-09-13 19:29:25 +02:00
.gitignore chore: update tests to account for .lake 2023-11-13 20:31:24 -05:00
.ignore chore: ignore stage0/ (for rg etc.) 2022-03-18 15:28:20 +01:00
CMakeLists.txt feat: embed and check githash in .olean (#2766) 2023-11-27 10:24:43 +00:00
CODEOWNERS doc: widget code owner 2023-12-01 15:46:45 +00:00
CONTRIBUTING.md doc: Adjust contributor's docs to squash merging (#2927) 2023-11-21 10:13:43 +00:00
default.nix doc: setup 2021-01-03 13:21:58 +01:00
flake.lock chore: Nix bump to LLVM 15 2023-07-28 10:56:54 +02:00
flake.nix chore: Nix: use strings instead of URL literals (#2172) 2023-03-28 10:10:24 +02:00
lean-toolchain doc: VS Code dev setup (#2961) 2023-11-30 08:35:03 +00:00
lean.code-workspace doc: VS Code dev setup (#2961) 2023-11-30 08:35:03 +00:00
LICENSE chore: remove LICENSE header that confused GitHub 2021-11-18 09:42:35 +01:00
LICENSES chore: add GMP license for now 2021-11-18 09:42:35 +01:00
README.md doc: Update contribution guides (#2624) 2023-10-25 13:05:55 +11:00
RELEASES.md doc: fix recent issue links in RELEASES.md (#3000) 2023-12-01 14:48:24 +00:00
shell.nix chore: Nix bump to LLVM 15 2023-07-28 10:56:54 +02:00

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.