seckindemirbas / PLP

This is the repository for PLP, An introduction to mathematical proof, book
12Updated 7 months ago

Alternatives and similar repositories for PLP:

Users that are interested in PLP are comparing it to the libraries listed below