ezyang/logitext

Issues

• Explain what syntax is allowed somewhere on the site

  #7 opened 3 years ago by jdonland
  0

• Thx for your awesome work :)

  #1 opened 4 years ago by MarisaKirisame
  1

• Feature Request: Support for intuitionistic and classical Linear Logic

  #4 opened 5 years ago by JasonGross
  2

• Feature request: eliminate duplicates in sequent lists

  #5 opened 4 years ago by snoeyink
  0

• Intuitionistic version does not highlight proven theorems green

  #3 opened 5 years ago by JasonGross
  0

• Strange behavior on Vacuous Quantification.

  #2 opened 8 years ago by chaosape
  4