4 lines
138 B
Markdown
4 lines
138 B
Markdown
# lean4-theorem-proving
|
|
|
|
Systematic workflows for Lean 4 proofs: sorries management, mathlib usage, verified math, compiler-guided repair
|