Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
- Volume 1
- Chapter 1. ✔
- Chapter 2. ✔
ntabee/lean-mathgirls
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.