by psibi

My Solution to Velleman's book

133 Stars 76 Forks Last release: Not found 381 Commits 0 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

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.



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 tex_filename

Although I did solve Chapter 3 problems, I haven't uploaded all of them yet because of my laziness.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.