Working through the book "Handbook of Practical Logic and Automated Reasoning" by John Harrison (https://books.google.pt/books/about/?id=lYSYLPWJQKMC)
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Working through the book "Handbook of Practical Logic and Automated Reasoning" by John Harrison (https://books.google.pt/books/about/?id=lYSYLPWJQKMC)