https://github.com/psibi/how-to-prove
My Solution to Velleman's book
https://github.com/psibi/how-to-prove
Last synced: 4 months ago
JSON representation
My Solution to Velleman's book
- Host: GitHub
- URL: https://github.com/psibi/how-to-prove
- Owner: psibi
- Created: 2014-07-31T20:27:37.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2024-12-08T16:09:29.000Z (over 1 year ago)
- Last Synced: 2024-12-27T10:43:47.675Z (over 1 year ago)
- Language: TeX
- Size: 313 KB
- Stars: 240
- Watchers: 16
- Forks: 97
- Open Issues: 12
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
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](http://en.wikipedia.org/wiki/Type_theory).
Feel free to raise
[issue](https://github.com/psibi/how-to-prove/issues) if you think a
proof is wrong or if it needs some clarification. Pull requests and
contributions are welcome.
Credits
--------
* [David Cantrell](https://github.com/davecan) 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.