GitHub - Layla-jap/lean-math: 用lean代码学习数学

用lean代码学习数学用编程学习数学

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.lean		.lean
AW.lean		AW.lean
MyNat.lean		MyNat.lean
MyNat_old.lean		MyNat_old.lean
README.md		README.md

Provide feedback