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
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- JavaScript 86.0%
- TeX 6.0%
- Lua 4.3%
- CSS 3.7%