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.
13453 commits 1 branch 0 tags 5.3 GiB
Find a file
Nuno Lopes a9078dd13a fix(doc): link to MSVC build instructions
2018-02-13 10:40:53 -08:00
.github chore(.github/CONTRIBUTING): fix typos and URLs 2017-10-30 16:23:22 +01:00
bin chore(bin/lean-gdb): add pretty printer for lean::level 2017-11-30 17:47:49 +01:00
doc fix(doc): link to MSVC build instructions 2018-02-13 10:40:53 -08:00
extras/latex chore(extras/depgraph): remove leandeps 2017-07-15 02:27:17 -07: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
leanpkg refactor(library/io): make io easier to extend and use 2018-01-23 15:03:31 -08:00
library chore(library/native): remove dead code 2018-02-07 17:29:25 -08:00
packages chore(script/test_registry): Replace with leanpkg. Execute in every artifact-producing build configuration. 2017-12-20 14:01:45 -08:00
script chore(script/test_registry): Replace with leanpkg. Execute in every artifact-producing build configuration. 2017-12-20 14:01:45 -08:00
src fix(library/compiler/simp_inductive): erase trivial structure bug 2018-02-11 11:43:05 -08:00
tests fix(library/compiler/simp_inductive): erase trivial structure bug 2018-02-11 11:43:05 -08:00
tmp doc(tmp/fresh_name): document impact of new mk_fresh_name design on thread local caches 2018-02-01 18:06:19 -08:00
.appveyor.yml chore(script/test_registry): Replace with leanpkg. Execute in every artifact-producing build configuration. 2017-12-20 14:01:45 -08:00
.clang-format feat(library/vm/process): add basic process support 2017-03-28 18:08:06 -07:00
.codecov.yml fix(.codecov.yml): do not fail github ci if coverage drops by 0.01% 2017-06-25 10:35:02 +02:00
.gitattributes chore(.gitattributes): use union merge strategy for doc/changes.md 2017-12-11 12:49:10 +01:00
.gitignore doc(msvc): add instructions on how to get Intellisense working 2018-02-06 10:11:10 -08:00
.travis.yml fix(.travis.yml): support combining $TEST_LEANPKG_REGISTRY and $UPLOAD 2017-12-22 11:54:29 +01:00
LICENSE Add LICENSE file 2013-07-15 18:55:48 -07:00
README.md chore(doc/make): add platform-generic build instructions 2018-01-23 11:14:18 -08:00

README.md

logo

LicenseWindowsLinux / macOSTest CoverageChat
Codecov Join the gitter chat

About

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Miscellaneous

Roadmap