Commit 2e4b079
Lean stage0 autoupdater
chore: update stage0
1 parent 9e87560 commit 2e4b079
File tree
4 files changed
+2892
-2571
lines changed- stage0/stdlib
- Init
- Control
- Lean
- Elab
4 files changed
+2892
-2571
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments