Fedor Isakov
|
fc1c5b8021
|
Drop project libraries, switch to using the plugin for loading CR modules.
|
2021-02-13 10:25:24 +01:00 |
|
Fedor Isakov
|
08bed0c578
|
Apply automatic migrations to FitchProof subproject
|
2019-01-13 14:27:32 +01:00 |
|
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
|
e29a0576e2
|
Rename the root project and artifacts to "coderules".
|
2018-07-18 15:54:52 +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
|
784a1cedd0
|
Refactor "conclusion" out to Reasoning.
Add typechecking (incomplete).
Optimize the editor.
|
2018-07-18 15:54:50 +02:00 |
|
Fedor Isakov
|
d09373eaa9
|
Initial import
|
2018-07-18 15:54:50 +02:00 |