File tree
40 files changed
+20068
-10157
lines changed- stage0
- src
- lake
- shell
- stdlib
- Init
- Lake
- CLI
- Translate
- Config
- DSL
- Load
- Util
- Lean
- Compiler/LCNF
- Elab
- PreDefinition
- Structural
- WF
- Tactic
- Conv
- Meta
- Tactic
- Grind
- Simp
40 files changed
+20068
-10157
lines changedLines changed: 13 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 2 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 912 additions & 835 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments