Search results

Publish the pdf

Status: Open.

#54 In psibi/how-to-prove;

· gogo2464 opened on Jul 24, 2025

The correct answer of exercise 4 of chapter 1-1

Status: Open.

#53 In psibi/how-to-prove;

· hosseinnedaee opened on May 12, 2025

2.1.2.c

Status: Open.

#48 In psibi/how-to-prove;

· windings-lab opened on Jun 10, 2023

Not correct definition is used

Status: Open.

#41 In psibi/how-to-prove;

· pedroansa-zz opened on Jul 4, 2020

Answer missing bound variable y

Status: Open.

#40 In psibi/how-to-prove;

· hadyfarhat opened on Jun 16, 2020

3.3.5.a

Status: Open.

#37 In psibi/how-to-prove;

· ir0nt0ad opened on Sep 3, 2019

2.1.2.a, 2.1.2.b

Status: Open.

#36 In psibi/how-to-prove;

· gnltkak opened on Jul 27, 2019

2.3.2.a

Status: Open.

#35 In psibi/how-to-prove;

· ir0nt0ad opened on Jul 26, 2019

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

Status: Open.

#33 In psibi/how-to-prove;

· htrapy opened on Aug 5, 2018

1.3.1.c

Status: Open.

#25 In psibi/how-to-prove;

· picogeyer opened on Aug 18, 2017

Missing sections

Status: Open.

#19 In psibi/how-to-prove;

· BlakeTrebelhorn opened on Feb 20, 2017

4.3.6 - Claimed Equality but Only Proved Subset

Status: Open.

#16 In psibi/how-to-prove;

· bschneidr opened on Nov 5, 2016