francoisschwarzentruber/prooffold

Issues

• Background color

  #5 opened 2 years ago by francoisschwarzentruber
  1

• Placement of boxes

  #6 opened 3 years ago by francoisschwarzentruber
  0

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

  #4 opened 3 years ago by francoisschwarzentruber
  0

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

  #3 opened 3 years ago by francoisschwarzentruber
  0

• Draw implication arrows between facts

  #2 opened 3 years ago by francoisschwarzentruber
  0