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.
33746 commits 1 branch 0 tags 5.3 GiB
Find a file
Marc Huisinga f220efc5ba
doc: update quickstart guide for new display name (#5193) 
https://github.com/leanprover/vscode-lean4/pull/521 changed the display
name of the VS Code extension so that it can be found more easily when
searching for "Lean" (before it would appear far down in the list). This
PR updates the quickstart guide to reflect this fact.
2024-08-28 13:29:16 +00:00
.github chore: restart-on-label: Also filter by commit SHA (#5099) 2024-08-20 07:45:43 +00:00
doc doc: update quickstart guide for new display name (#5193) 2024-08-28 13:29:16 +00:00
images
nix feat: ship cadical (#4325) 2024-08-23 09:13:27 +00:00
releases_drafts feat: omit (#5000) 2024-08-21 13:22:34 +00:00
script feat: link LibUV (#4963) 2024-08-12 12:33:24 +00:00
src feat: Int and Nat simp lemmas (#5190) 2024-08-28 10:53:28 +00:00
stage0 chore: update stage0 2024-08-27 11:26:16 +10:00
tests chore: remove bad simp lemmas (#5180) 2024-08-28 02:55:17 +00: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
.ignore chore: ignore stage0/ (for rg etc.) 2022-03-18 15:28:20 +01:00
CMakeLists.txt feat: ship cadical (#4325) 2024-08-23 09:13:27 +00:00
CMakePresets.json chore: modernize build instructions (#4032) 2024-05-23 10:55:07 +00:00
CODEOWNERS chore: update codeowners (#4681) 2024-07-08 07:57:54 +00:00
CONTRIBUTING.md doc: triage 2024-07-26 18:24:06 +02:00
flake.lock feat: ship cadical (#4325) 2024-08-23 09:13:27 +00:00
flake.nix feat: ship cadical (#4325) 2024-08-23 09:13:27 +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 doc: mention build doc source location (#4045) 2024-05-01 22:42:54 +00:00
RELEASES.md chore: begin development cycle for v4.12.0 (#4986) 2024-08-12 00:33:05 +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).