Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
- Volume 1
- Chapter 1. ✔
- Chapter 2. ✔
Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
LeanMIT
Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.