File tree
233 files changed
+42433
-42321
lines changed- stage0/stdlib
- Init/Data
- Lake
- DSL
- Load/Lean
- Lean
- Compiler
- IR
- LCNF
- Simp
- Data
- DocString
- Elab
- Deriving
- PreDefinition
- Nonrec
- Structural
- WF
- Quotation
- Tactic
- BVDecide/Frontend
- Omega
- Language
- Linter
- Meta
- Match
- Tactic
- AC
- Grind
- Simp
- Parser
- Tactic
- PrettyPrinter
- Delaborator
- Server
- CodeActions
- FileWorker
- Rpc
- Util
- Widget
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
233 files changed
+42433
-42321
lines changedLines 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: 197 additions & 197 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 609 additions & 609 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 12 additions & 12 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments