Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
.github/workflows		.github/workflows
Functional programing in Lean		Functional programing in Lean
MathematicsInLean		MathematicsInLean
The art of functional programming		The art of functional programming
Theorem proving in lean		Theorem proving in lean
.gitignore		.gitignore
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain