Commands :
[New]
[Add Line]
[Insert Line]
[Delete Line]
[Add conclusion]
[Redraw]
[Add Subproof]
[Insert Subproof]
[End Subproof]
[Delete Subproof]
Symbols :
Mouse
￢
∧
∨
→
↔
⊥
Keyboard
~
&
|
$
%
^
[
Input
] [
Output
] [
TeX export
] [
Verify Line
] [
Verify All
] [
Help
] --- [
Home
]
Notice
: Undefined index: drv_str in
/var/www/vhosts/proofmood/en/Fitch/fitch.php
on line
184
Notice
: Undefined index: the_action in
/var/www/vhosts/proofmood/en/Fitch/routines/fitch_edit_routine.php
on line
185
Notice
: Undefined index: focus_pos in
/var/www/vhosts/proofmood/en/Fitch/routines/fitch_edit_routine.php
on line
197
Notice
: Undefined index: scroll_top in
/var/www/vhosts/proofmood/en/Fitch/fitch.php
on line
195
1.
hyp
2.
Rule ?
