psibi/ how-to-prove
Need help with how-to-prove?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.
About the developer
141 Stars 
78 Forks 
381 Commits 
11 Opened issues 
Description
My Solution to Velleman's book
Services available
Contributors list
Readme
How to Prove It: A Structured Approach
Contains solution for the Velleman's book.
The reason I have started studying this is to ultimately study type theory.
Feel free to raise issue if you think a proof is wrong or if it needs some clarification. Pull requests and contributions are welcome.
Credits
- David Cantrell for Section 3.3 and various other improvements.
Notes:
From Chapter 2, I have moved from markdown format to Latex as it helps in much easier rendering of mathematical symbols. It can be compiled using
pdflatex:
pdflatex tex_filename
Although I did solve Chapter 3 problems, I haven't uploaded all of them yet because of my laziness.