Leonardo de Moura 6988560177 feat: apply allGoals (try rfl) at end of conv nested blocks		2021-09-03 19:21:34 -07:00
..
bin	Revert "Revert "feat: reintroduce libleanshared, link lean & leanpkg against it""	2021-08-20 09:42:05 -07:00
cmake
include/lean	refactor: move lean_name_eq to runtime, add lean_name_hash in C	2021-08-16 16:13:55 -07:00
Init	feat: add support for forall_congr at conv	2021-09-03 16:57:15 -07:00
initialize	Revert "Revert "feat: reintroduce libleanshared, link lean & leanpkg against it""	2021-08-20 09:42:05 -07:00
kernel	fix: binder name	2021-08-26 11:11:37 -07:00
Lean	feat: apply allGoals (try rfl) at end of conv nested blocks	2021-09-03 19:21:34 -07:00
Leanpkg	chore: fix stdlib	2021-08-06 12:58:58 -07:00
library	chore: fix comment	2021-08-27 10:43:51 -07:00
runtime	chore: specify accurate dependencies for leanshared	2021-08-20 09:42:05 -07:00
shell	Revert "Revert "feat: reintroduce libleanshared, link lean & leanpkg against it""	2021-08-20 09:42:05 -07:00
Std	chore: rename BinomialHeap.WellFormed constructors	2021-08-17 10:19:12 -07:00
util	fix: assertion violation	2021-08-16 18:02:41 -07:00
CMakeLists.txt	chore: CI: fix patching & copying dependent libs	2021-08-20 09:42:05 -07:00
config.h.in	chore: document simplified object header and remove obsolete cmake options	2021-07-20 10:42:28 -07:00
githash.h.in
Init.lean	chore: basic conv mode parsers	2021-09-01 15:35:32 -07:00
Lean.lean	feat: pretty-printer with tags	2021-08-24 08:57:41 -07:00
lean.mk.in	Revert "Revert "feat: reintroduce libleanshared, link lean & leanpkg against it""	2021-08-20 09:42:05 -07:00
Leanpkg.lean	fix: use enableInitializersExecution at leanpkg	2021-08-16 18:02:51 -07:00
Std.lean
stdlib.make.in	chore: specify accurate dependencies for leanshared	2021-08-20 09:42:05 -07:00
stdlib_flags.h	chore: collect stdlib compilation flags in new header	2021-08-12 07:51:50 -07:00
version.h.in