Packages

p

at.logic.gapt.formats.ivy

conversion

package conversion

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Value Members

  1. object IvyToResolution

    Converts Ivy Proofs into Resolution Proofs

Ungrouped