GitHub - solbloch/theorem-proving-in-lean: Working through Theorem Proving in Lean book.

solbloch / theorem-proving-in-lean Public

Working through Theorem Proving in Lean book.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
ch2.lean		ch2.lean
ch3.lean		ch3.lean
ch4.lean		ch4.lean

About

Working through Theorem Proving in Lean book.

No releases published

No packages published