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.
cadake/HTPIwL
This branch is 3 commits behind Lean-zh/HTPIwL:main.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|