The test is concerned with correct computation of RulesDiff and correct work of ArgumentsCollector |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
The test is concerned with correct computation of RulesDiff and correct work of ArgumentsCollector |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||