File tree
5 files changed
+566
-330
lines changed- stage0
- src
- Init
- Lean/Elab
- stdlib/Lean/Elab
5 files changed
+566
-330
lines changedLines changed: 9 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 14 additions & 13 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments