| Class | Description |
|---|---|
| ClassicalProblem |
A proving problem in classical logic.
|
| ProofNavigator |
Translate theories into the RISC ProofNavigator.
|
| ProofNavigatorProblem |
A proving problem for the RISC ProofNavigator.
|
| StateProblem |
A proving problem in state logic.
|