PropLogic 0.9.0.4

1 Reverse dep Accepted versions
logic-classes -any