psibi/how-to-prove Issues
1.3.1.c
Updated 22.1.2.c
Updatedmistake in 3.2 q8
Closed 3Not correct definition is used
Updated 1Answer missing bound variable y
Updated 13.3.5.a
Updated 42.1.2.a, 2.1.2.b
Updated2.3.2.a
Updated1.4.1.b
Closed 2viewing .tex files
Closed 1Missing sections
Updated 4Thanks!
Closed 13.2 proving contrapositive
Updated 2Problem 4.3.23
Closed2.2 dangling negation operator
Closed 5PDFs
Closed 4Excercise 3.5.8
Closed 2