lean4-htt

Lean 4 fork for HoTT-compatible kernel extensions (Path types, transport, HITs). Maintained against upstream leanprover/lean4.

Find a file

David Christiansen 550f8bcacb fix(emacs): Improve cursor motion with output boxes Part of making cursor motion consistent was getting rid of the versions that float to the right. So now all command output is just under the command.		2017-06-16 12:39:52 +02:00
.github	chore(.github/PULL_REQUEST_TEMPLATE): typo	2017-06-12 09:56:15 -07:00
bin	chore(bin/lean-gdb): pretty-print lean::optional	2017-05-09 16:02:41 -07:00
doc	doc(changes): add hole command feature	2017-06-15 07:40:19 -07:00
extras	feat(extras/depgraph): add dependency-free version of leandeps	2017-06-12 15:40:46 +02: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	fix(leanpkg): typo	2017-06-12 17:54:46 +02:00
library	feat(frontends/lean,shell/server): "hole" command	2017-06-14 21:56:17 -07:00
script	chore(script/test_registry): don't stop on failure	2017-06-09 20:30:48 +02:00
src	fix(emacs): Improve cursor motion with output boxes	2017-06-16 12:39:52 +02:00
tests	chore(tests/lean/interactive): fix tests	2017-06-15 10:56:09 -07:00
tmp	feat(frontends/lean,library/equations_compiler): store tactics for generating well founded relation and decreasing proofs	2017-05-23 15:00:29 -07:00
.appveyor.yml	chore(.appveyor.yml): separate upgrading and installing new packages	2017-06-03 17:42:48 +02:00
.appveyor.yml.in	chore(.appveyor.yml): separate upgrading and installing new packages	2017-06-03 17:42:48 +02:00
.clang-format	feat(library/vm/process): add basic process support	2017-03-28 18:08:06 -07:00
.codecov.yml	feat(.travis.yml): add codecov	2016-12-02 17:01:58 -08:00
.gitignore	chore(library): remove gdb_history file	2017-06-12 15:39:46 +02:00
.travis.yml	feat(.travis.yml): add z3 for leanpkg test	2017-06-05 09:54:11 +02:00
.travis.yml.in	feat(.travis.yml): add z3 for leanpkg test	2017-06-05 09:54:11 +02:00
LICENSE	Add LICENSE file	2013-07-15 18:55:48 -07:00
README.md	feat(doc/changes.md): create change log	2017-06-14 22:42:08 -07:00