psibi/how-to-prove issues and pull requests

#51 - Update section1-5.md

Pull Request - State: closed - Opened by Brandtner96 2 months ago

#50 - add missing problems for section 3.2

Pull Request - State: open - Opened by LennardEc about 1 year ago

#49 - Update section1-3.md

Pull Request - State: closed - Opened by Chong-source over 1 year ago

#48 - 2.1.2.c

Issue - State: open - Opened by Windings-Lab over 1 year ago

#47 - mistake in 3.2 q8

Issue - State: closed - Opened by gogo2464 over 1 year ago - 3 comments

#46 - Fix typos

Pull Request - State: closed - Opened by Moiman almost 2 years ago

#45 - add another way using 'assume Q is false and proove P' for exercice 6…

Pull Request - State: closed - Opened by gogo2464 almost 2 years ago

#44 - show another answer for exercice 3.6

Issue - State: closed - Opened by gogo2464 almost 2 years ago - 5 comments

#43 - Update section1-3.md

Pull Request - State: closed - Opened by NickC64 over 2 years ago - 1 comment

#42 - Update section2-1.md

Pull Request - State: closed - Opened by manimbe almost 3 years ago - 1 comment

#41 - Not correct definition is used

Issue - State: open - Opened by pedroansa-zz over 4 years ago - 1 comment

#40 - Answer missing bound variable y

Issue - State: open - Opened by hadyfarhat over 4 years ago - 1 comment

#39 - Clarification of Introduction-Q5

Pull Request - State: closed - Opened by dullin about 5 years ago - 1 comment

#38 - Update section3.3.tex

Pull Request - State: closed - Opened by sumandroid12 over 5 years ago - 5 comments

#37 - 3.3.5.a

Issue - State: open - Opened by ir0nt0ad over 5 years ago - 4 comments

#36 - 2.1.2.a, 2.1.2.b

Issue - State: open - Opened by gnltkak over 5 years ago

#35 - 2.3.2.a

Issue - State: open - Opened by ir0nt0ad over 5 years ago

#34 - Update section2-3.md

Pull Request - State: closed - Opened by paulopernar almost 6 years ago - 1 comment

#33 - 2.1.3.a - Every number is larger than x...

Issue - State: open - Opened by htrapy over 6 years ago

#32 - Update README.md

Pull Request - State: closed - Opened by ahmedbilal about 7 years ago - 3 comments

#31 - Question 11(b) added

Pull Request - State: closed - Opened by ahmedbilal about 7 years ago - 1 comment

#30 - Update Exercise 9

Pull Request - State: closed - Opened by ahmedbilal about 7 years ago - 1 comment

#29 - Improvement in Exercise 3(b)

Pull Request - State: closed - Opened by ahmedbilal about 7 years ago - 1 comment

#28 - Problem in Excercise 1 Question 3

Pull Request - State: closed - Opened by ahmedbilal about 7 years ago - 1 comment

#27 - Revision to 1.4.1.b

Pull Request - State: closed - Opened by eric-lindau over 7 years ago - 1 comment

#26 - 1.4.1.b

Issue - State: closed - Opened by eric-lindau over 7 years ago - 2 comments

#25 - 1.3.1.c

Issue - State: open - Opened by PicoGeyer over 7 years ago - 2 comments

#24 - ex.8 (f)

Pull Request - State: closed - Opened by Abderlrhmanfawzy almost 8 years ago

#23 - Section 3-1.

Pull Request - State: closed - Opened by ghost almost 8 years ago - 1 comment

#22 - Update section4-4.tex

Pull Request - State: closed - Opened by dcapgit almost 8 years ago - 2 comments

#21 - viewing .tex files

Issue - State: closed - Opened by honeypai almost 8 years ago - 1 comment

#20 - Corrected the answer to Exercise 1 Part c

Pull Request - State: closed - Opened by lambainsaan almost 8 years ago - 1 comment

#19 - Missing sections

Issue - State: open - Opened by BlakeTrebelhorn almost 8 years ago - 4 comments

#18 - Alternative Solution for 7(b)

Pull Request - State: closed - Opened by netham91 about 8 years ago - 1 comment

#17 - [Suggestion] Mentioning the Law used

Issue - State: closed - Opened by netham91 about 8 years ago - 2 comments

#16 - 4.3.6 - Claimed Equality but Only Proved Subset

Issue - State: open - Opened by bschneidr over 8 years ago - 1 comment

#15 - Fix notation in section 3.3

Pull Request - State: closed - Opened by Moiman over 8 years ago - 1 comment

#14 - Added section 3.3 solutions 1 - 21

Pull Request - State: closed - Opened by davecan over 8 years ago - 1 comment

#13 - Chapter 1, Exercise 12 further reduced

Pull Request - State: closed - Opened by ghost over 8 years ago - 1 comment

#12 - Updates to 3.2 and fix for issue #9

Pull Request - State: closed - Opened by davecan over 8 years ago - 1 comment

#11 - 3.2 proving contrapositive

Issue - State: open - Opened by davecan over 8 years ago - 2 comments

#10 - Cleanup and expansion of 3.1

Pull Request - State: closed - Opened by davecan over 8 years ago - 1 comment

#9 - 3.1 #2d says not P implies not Q?

Issue - State: closed - Opened by davecan over 8 years ago - 2 comments

#8 - Fixed dangling negation operator in 2d

Pull Request - State: closed - Opened by davecan over 8 years ago - 1 comment

#7 - 2.2 dangling negation operator

Issue - State: closed - Opened by davecan over 8 years ago - 5 comments

#6 - PDFs

Issue - State: closed - Opened by eugeneprokopenko almost 9 years ago - 4 comments

GitHub / psibi/how-to-prove issues and pull requests