Fedor Isakov
|
7c1cb3b684
|
Name solutions and models consistently in samples (fitch)
|
2018-07-22 14:48:12 +02:00 |
|
Fedor Isakov
|
430b081085
|
Rename sandbox to demo solution in fitch sample.
|
2018-07-21 13:50:54 +02:00 |
|
Fedor Isakov
|
d5b27ac6e2
|
Move sandbox solution to "solutions" folder.
|
2018-07-18 15:54:52 +02:00 |
|
Fedor Isakov
|
e03cd48125
|
Add fitch sample to the common build.
|
2018-07-18 15:54:52 +02:00 |
|
Fedor Isakov
|
f070e7a34b
|
Implementation of First Order logic.
|
2018-07-18 15:54:51 +02:00 |
|
Fedor Isakov
|
908e557d72
|
A language for Herbrand logic.
|
2018-07-18 15:54:51 +02:00 |
|
Fedor Isakov
|
cd0e7cc1b1
|
Introduce a language for propositional logic. Move relevant stuff there.
|
2018-07-18 15:54:50 +02:00 |
|
Fedor Isakov
|
d09373eaa9
|
Initial import
|
2018-07-18 15:54:50 +02:00 |