File tree
237 files changed
+130717
-114490
lines changed- stage0
- src
- library/compiler
- runtime
- stdlib
- Init/Grind
- Lake
- Build
- Job
- CLI
- Config
- DSL
- Util
- Lean
- Compiler
- IR
- LCNF
- Simp
- DocString
- Elab
- Deriving
- PreDefinition
- PartialFixpoint
- Structural
- WF
- Quotation
- Tactic
- BVDecide/Frontend
- Normalize
- Linter
- Meta
- Match
- Tactic
- Grind
- Arith
- Simp
- BuiltinSimprocs
- Parser
- Tactic
- ParserCompiler
- PrettyPrinter
- Delaborator
- Server
- CodeActions
- Completion
- 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.
237 files changed
+130717
-114490
lines changedLines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 20 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 8 additions & 8 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 5 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments