My Solution to Velleman's book
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:
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
Although I did solve Chapter 3 problems, I haven't uploaded all of them yet because of my laziness.