Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"
See the codeREADME
HTPI Lean Package
This Lean packages accompanies the online book How To Prove It with Lean. The folder HTPILib contains files with all of the definitions and theorems in the book, as well as a file defining tactics used in the book. There are also files containing all of the exercises.
Contributors
206 commits
Similar repos
Languages
Lean
99.4%
Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"
See the codeREADME
HTPI Lean Package
This Lean packages accompanies the online book How To Prove It with Lean. The folder HTPILib contains files with all of the definitions and theorems in the book, as well as a file defining tactics used in the book. There are also files containing all of the exercises.
Similar repos
Contributors
206 commits
Languages
Lean
99.4%