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.
-
Notifications
You must be signed in to change notification settings - Fork 18
License
djvelleman/HTPILeanPackage
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published