File tree
81 files changed
+48860
-5710
lines changed- stage0
- src
- runtime
- shell
- stdlib
- Init
- Data
- List
- Nat
- Sort
- String
- Lean
- Compiler/LCNF
- Data/Parsec
- Elab
- PreDefinition
- Structural
- WF
- Tactic
- BVDecide
- LRAT
- Internal
- Formula
- Language
- Meta
- Match
- Tactic
- LinearArith
- Simp
- Util
- Std/Data/DHashMap/Internal
- List
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
81 files changed
+48860
-5710
lines changedLines changed: 13 additions & 7 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: 9 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 & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 14 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 9 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments