at.logic.skeptik.proof.sequent

resolution

package resolution

Visibility
  1. Public
  2. All

Type Members

  1. class R extends SequentProof with Binary with NoMainFormula

Value Members

  1. object R extends AnyRef