-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#20 In proof-tree-builder/proof-tree-builder.github.io;
Attaching proof trees that are not previously detached deletes the dragged proof tree
bugSomething isn't workingSomething isn't workingStatus: Open.#17 In proof-tree-builder/proof-tree-builder.github.io;Create empty boxes of formulas instead of asking for the missing parts upfront
enhancementNew feature or requestNew feature or requestStatus: Open.#16 In proof-tree-builder/proof-tree-builder.github.io;Symbolic term evaluation
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#10 In proof-tree-builder/proof-tree-builder.github.io;Don't allow resizing and rotating for multiple selection of proof trees
bugSomething isn't workingSomething isn't workingStatus: Open.#8 In proof-tree-builder/proof-tree-builder.github.io;