Merge DataForm constructors into logic language. Repackaging logic runtime. Drop obsolete code. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Merge DataForm constructors into logic language. Repackaging logic runtime. Drop obsolete code. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||