Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.
- Volume 1
- Chapter 1. ✔
- Chapter 2. ✔
Step 1: Fork any project 第 1 步：分叉任何项目 Step 2: push these two things to your project. 第二步：将这两件事推送到你的项目中。 Step 3: add this prefix "https://gitpod.io/new/#/ " , and open it . 第三步：添加前缀“https://gitpod.io/new/#/”，然后打开。 For example: 例如： https://gitpod.io/new/#/https://github.com/chenjulang/lean-mathgirls