Commit 5562dfa
committed
File tree
178 files changed
+9275
-5060
lines changed- .github/workflows
- .vale/styles
- Lean
- config/ignore
- proselint
- Manual
- BasicTypes
- BuildTools
- Lake
- Classes
- ErrorExplanations
- Grind
- ExtendedExamples
- Interaction
- Language
- Meta
- ErrorExplanation
- LakeToml
- Monads
- NotationsMacros
- RecursiveDefs
- Releases
- Tactics
- fix_diagnostics
- static
- fonts
- noto-sans-mono
- source-code-pro
- source-sans
- source-serif
- screenshots
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
178 files changed
+9275
-5060
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
0 commit comments