psibi / How To Prove
My Solution to Velleman's book
Stars: ✭ 146
Labels
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.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].