Package

at.logic.gapt.formats.ivy

conversion

Permalink

package conversion

Visibility
  1. Public
  2. All

Value Members

  1. object IvyToRobinson

    Permalink

    Converts Ivy Proofs into Robinson Resolution Proofs

Ungrouped