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.
Lean-zh/HTPIwL
This branch is 6 commits behind djvelleman/HTPIwL:main.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit8715442 · | ||||