GitHub - bicmr-ai4math/Group10-2.13-2.15: problem 2.13/2.15

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
Tutorial		Tutorial
.gitignore		.gitignore
AI4MATH.pdf		AI4MATH.pdf
Main.lean		Main.lean
Tutorial.lean		Tutorial.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain