OpenLogicProject/fitch-checker

Issues

• -E and -I justification do not parse

  #16 opened 13 days ago by leovt
  1

• Divergence

  #15 opened 2 years ago by gimenes2008
  2

• Document the code

  #5 opened 7 years ago by rzach
  2

• Are formulas with more than 3 quantifiers intentionally excluded?

  #14 opened 3 years ago by heidelberg1386
  1

• Save, load proofs

  #3 opened 7 years ago by rzach
  1

• Allow zero-place predicates in FOL

  #12 opened 5 years ago by rzach
  3

• expected quantifier syntax is not clear

  #10 opened 5 years ago by rogpeppe
  14

• examples contain invalid syntax

  #11 opened 5 years ago by rogpeppe
  0

• Can one introduce an existential twice?

  #9 opened 6 years ago by FrankHubeny
  1

• Proof shows a correct completion status with an open subproof

  #8 opened 6 years ago by FrankHubeny
  2

• Order in = formulas should matter

  #7 opened 7 years ago by rzach
  3

• Equality elimination appears to be broken

  #6 opened 7 years ago by esotechnica
  5

• Add ~, # rules for new version of Calgary remix

  #2 opened 7 years ago by rzach
  1

• Modularize code

  #4 opened 7 years ago by rzach
  0

• Renumber justifications when adding or deleting lines

  #1 opened 7 years ago by rzach
  0