/lean-mathgirls

Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.

Primary LanguageLeanMIT LicenseMIT

Lean Math-Girls

Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.

  • Volume 1
    • Chapter 1. ✔
    • Chapter 2. ✔