File tree
35 files changed
+26940
-19279
lines changed- stage0
- src/util
- stdlib
- Init/Data/BitVec
- Lake
- Build
- Load/Lean
- Lean
- Compiler
- Elab
- Deriving
- PreDefinition
- Tactic
- Language
- Lean
- Linter
- Meta/Tactic/LinearArith
- Server
- Util
35 files changed
+26940
-19279
lines changedLines changed: 3 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 3 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 55 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments