GitHub - Gedol/theorem-proving-in-lean4: Code samples and worked exercises from https://leanprover.github.io/theorem_proving_in_lean4/ · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
tpil		tpil
.gitignore		.gitignore
Tpil.lean		Tpil.lean
leanpkg.toml		leanpkg.toml

About

Code samples and worked exercises from https://leanprover.github.io/theorem_proving_in_lean4/

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%