| .. |
|
and_elim.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
and_intro.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
and_rules.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
auto_valid.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
eq_elim.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
eq_intro.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
equality_rules.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
exists_elim.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
exists_intro.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
exists_rules.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
forall_elim.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
forall_intro.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
goal.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
goal_valid.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
if_elim.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
if_intro.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
if_rules.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
iff_elim.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
iff_intro.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
iff_rules.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
judgement_conclusion.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
menu.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
neg_rules.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
not_elim.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
not_intro.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
or_elim.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
or_intro.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
or_rules.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
sample-proof-firstorder.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
sample-proof-herbrand.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
sample-proof.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
sample-rule.png
|
Completing the documentation. Fixed a sample. Some cosmetic improvements.
|
2018-07-18 15:54:50 +02:00 |
|
ue_rule.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
|
ui_rule.png
|
Docs on Herbrand and First Order Logics
|
2018-07-18 15:54:51 +02:00 |
2aa168e32e
