Issues
- 5
Bug with existential quantifier decomposition
#77 opened by Bram28 - 1
Instantiating a universal whose variable does not appear in the formula results in an error
#69 opened by connorjayr - 0
- 1
Make resetting passwords more user friendly
#61 opened by jputlock - 1
- 0
No license
#65 opened by jputlock - 0
Add the ability to branch on any statement
#64 opened by jputlock - 0
Add decomposition popout or menu
#63 opened by jputlock - 0
Pre-select course and assignment in submission modal when viewing an assignment
#59 opened by connorjayr - 0
- 1
Add 'system' as a theme option
#57 opened by jputlock - 0
Add evaluation shortcuts
#53 opened by jputlock - 0
Fix dark mode to display across all pages
#54 opened by jputlock - 0
- 0
- 0
- 0
Rewrite modifyDecomposition
#51 opened by jputlock - 0
Add equality/identity operator
#49 opened by jputlock - 0
- 1
- 0
Save comments with the tree
#46 opened by jputlock - 0
Add a commenting system
#40 opened by jputlock - 1
Add flag for auto-validation
#7 opened by connorjayr - 0
Expand textboxes to fit text
#39 opened by jputlock - 2
Unable to set shortcut to browser shortcuts.
#27 opened by jputlock - 0
Add shortcuts for the File menu
#43 opened by jputlock - 0
Add FOL to the user guide
#41 opened by jputlock - 0
- 0
Universe not correctly tracked
#37 opened by jputlock - 0
Deleting a branch can break the tree
#36 opened by jputlock - 1
Add alternative Existence Rule
#35 opened by jputlock - 1
Cannot use FOL functions as objects
#34 opened by jputlock - 1
- 1
- 0
- 1
Add password confirmation field
#21 opened by connorjayr - 1
Add courses and assignments
#16 opened by connorjayr - 1
Support first-order logic
#17 opened by connorjayr - 1
Highlight both forward and backward references
#20 opened by connorjayr - 0
- 0
- 0
Support inference rules
#18 opened by connorjayr - 0
Support logical equivalence rules
#15 opened by connorjayr - 1
- 0
Support premises in TFTrees export
#13 opened by connorjayr - 1
- 0
- 2
Add file saving/loading
#3 opened by connorjayr - 0
Tree edit functions do not act on the focused statement when using the dropdown menu
#9 opened by connorjayr - 0