GitHub - keilambda/theorem-proving-in-lean4: Notes on "Theorem Proving in Lean 4" and exercise solutions

keilambda / theorem-proving-in-lean4 Public

Notes on "Theorem Proving in Lean 4" and exercise solutions

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
TheoremProvingInLean4		TheoremProvingInLean4
.gitignore		.gitignore
Main.lean		Main.lean
TheoremProvingInLean4.lean		TheoremProvingInLean4.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain