proof-tree-builder/proof-tree-builder.github.io

Issues

• Folding and unfolding proof trees to handle big proof trees

  #18 opened 3 years ago by joom
  0

• Proof tree location changes after rule application

  #14 opened 3 years ago by joom
  0

• Symbolic term evaluation

  #10 opened 5 years ago by joom
  0

• Change cursor to pointer for buttons in the proof trees

  #9 opened 3 years ago by joom
  0

• Generate Z3 error messages with counter examples

  #12 opened 3 years ago by joom
  0

• Attaching proof trees that are not previously detached deletes the dragged proof tree

  #17 opened 4 years ago by joom
  0

• Z3 error on some inputs

  #15 opened 4 years ago by joom
  1

• Create empty boxes of formulas instead of asking for the missing parts upfront

  #16 opened 4 years ago by joom
  0

• Term parenthesization w.r.t. operator precedence

  #11 opened 5 years ago by joom
  0

• Don't allow resizing and rotating for multiple selection of proof trees

  #8 opened 5 years ago by joom
  0

• Allow attaching proofs by drag & drop

  #5 opened 5 years ago by joom
  0

• Allow detaching proofs

  #6 opened 5 years ago by joom
  0

• Allow saving/loading proof trees as files

  #4 opened 5 years ago by joom
  0

• Make substitution a class method rather than a separate function

  #7 opened 5 years ago by joom
  0

• Make shorthand versions of the consequence rule

  #3 opened 5 years ago by joom
  0

• Make structural rules non ad-hoc

  #1 opened 5 years ago by joom
  0

• Prompt for ambiguous cases instead of failing

  #2 opened 5 years ago by joom
  0