Package

at.logic.gapt.formats.ivy

conversion

Permalink

package conversion

Visibility
  1. Public
  2. All

Value Members

  1. object IvyToResolution

    Permalink

    Converts Ivy Proofs into Resolution Proofs

Ungrouped