Issues

• Feature wish: have the forward ASSN rule too

  proof-tree-builder/proof-tree-builder.github.io#20 · Filter by author Matafou opened on Jan 26, 2026
  2

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

  bug
  proof-tree-builder/proof-tree-builder.github.io#17 · Filter by author joom opened on May 9, 2022

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

  enhancement
  proof-tree-builder/proof-tree-builder.github.io#16 · Filter by author joom opened on Mar 1, 2022

• Symbolic term evaluation

  enhancementgood first issue
  proof-tree-builder/proof-tree-builder.github.io#10 · Filter by author joom opened on May 29, 2020

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

  bug
  proof-tree-builder/proof-tree-builder.github.io#8 · Filter by author joom opened on May 29, 2020