issues
search
Quelklef
/
fitch
Interactive proof assistant for Fitch-style natural deduction
https://maynards.site/fitch
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Loading screen
#19
Quelklef
opened
2 years ago
0
Checkboxes are broken
#18
Quelklef
opened
2 years ago
0
Better implementation for prettifying user input
#17
Quelklef
opened
2 years ago
0
∀-intro no longer works if no variable sub is needed
#16
Quelklef
closed
2 years ago
0
Empty formula should only parse as subformula
#15
Quelklef
closed
2 years ago
1
∃-intro justification is wrong in vacuous cases
#14
Quelklef
closed
2 years ago
1
One can prove (∃xPx)→(∀xPx)
#13
Quelklef
closed
2 years ago
9
remove NE?
#12
Quelklef
closed
2 years ago
3
fuckin urls don't copy+paste nicely
#11
Quelklef
closed
2 years ago
0
Semantics around shadowed variables are broken
#10
Quelklef
opened
3 years ago
1
Undo
#9
Quelklef
opened
3 years ago
0
Use Zippers
#8
Quelklef
opened
3 years ago
3
"Partial" variable substitution not accounted for
#7
Quelklef
closed
5 years ago
0
Make program less slow
#6
Quelklef
closed
3 years ago
1
Quantifications over propositions don't work
#5
Quelklef
closed
5 years ago
1
Better way to handle introductions
#4
Quelklef
closed
5 years ago
0
Make serialization less bad
#3
Quelklef
closed
2 years ago
1
Declarations still don't quite work properly
#2
Quelklef
closed
5 years ago
1
Clicking on "keys" buttons should insert the corresponding character
#1
Quelklef
closed
5 years ago
1