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

psibi
141 Stars 78 Forks 381 Commits 11 Opened issues

Description

My Solution to Velleman's book

Services available

!
?

Need anything else?

Contributors list

# 62,798
Haskell
jvm
zettelk...
nix
336 commits
# 690,777
TeX
Haskell
5 commits
# 196,509
TeX
JavaScr...
3 commits
# 747,996
TeX
Haskell
2 commits
# 703,359
TeX
Haskell
1 commit
# 219,919
TeX
Shell
udp-pro...
tls-pro...
1 commit
# 712,748
HTML
Shell
JavaScr...
1 commit
# 292,324
Common ...
Shell
JavaScr...
gentoo
1 commit

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

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.

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.