Search results

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

bugSomething isn't workingSomething isn't working

Status: Open.

#17 In proof-tree-builder/proof-tree-builder.github.io;

· joom opened on May 9, 2022

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

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In proof-tree-builder/proof-tree-builder.github.io;

· joom opened on Mar 1, 2022

Symbolic term evaluation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#10 In proof-tree-builder/proof-tree-builder.github.io;

· joom opened on May 29, 2020

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

bugSomething isn't workingSomething isn't working

Status: Open.

#8 In proof-tree-builder/proof-tree-builder.github.io;

· joom opened on May 29, 2020