File tree
251 files changed
+81932
-72200
lines changed- stage0
- src
- Init
- Data
- Format
- List
- Nat
- Lean
- Compiler
- IR
- LCNF
- Data
- Elab
- Deriving
- InfoTree
- PreDefinition
- WF
- Tactic
- Linter
- Meta
- Match
- Tactic
- AC
- Simp
- Parser
- PrettyPrinter
- Delaborator
- Server
- Util
- Widget
- stdlib
- Init
- Data
- List
- String
- Lean
- Compiler
- IR
- LCNF
- Data
- Json
- Elab
- Deriving
- InfoTree
- PreDefinition
- Structural
- WF
- Tactic
- Conv
- Linter
- Meta
- Match
- Tactic
- AC
- Simp
- Parser
- PrettyPrinter
- Delaborator
- Server
- 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.
251 files changed
+81932
-72200
lines changedLines changed: 55 additions & 55 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 25 additions & 25 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 9 additions & 10 deletions
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: 11 additions & 11 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments