Search results

Placement of boxes

Status: Open.

#6 In francoisschwarzentruber/prooffold;

·francoisschwarzentruber openedon Feb 20, 2022

Alignment of symbols =, \leq, <=>, etc.

Status: Open.

#4 In francoisschwarzentruber/prooffold;

·francoisschwarzentruber openedon Jan 15, 2022

Different styles of panels (proof by contradiction, induction etc.)

Status: Open.

#3 In francoisschwarzentruber/prooffold;

·francoisschwarzentruber openedon Dec 13, 2021

Draw implication arrows between facts

Status: Open.

#2 In francoisschwarzentruber/prooffold;

·francoisschwarzentruber openedon Dec 13, 2021