4 ms·
Wasn't me, but you might've been downvoted because the book description states: The book comes with a simple proof assistant to help readers work through the bo
by nmrm2 11y ago
Wasn't me, but you might've been downvoted because the book description states: The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
So, there is a proof assistant.
- JadeNB 11y agoThanks for this helpful clarification; I hadn't noticed that in the description. (I do note, feebly, that there's a difference between learning to use a one-off proof assistant, and learning to use a 'popular' one.)