These are the source files for a book about using Lean with How To Prove It. You can read the book here.
You might also be interested in Proof Designer.
djvelleman/HTPIwL
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
These are the source files for a book about using Lean with How To Prove It. You can read the book here.
You might also be interested in Proof Designer.