Packages

p

gapt.formats.ivy

conversion

package conversion

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Value Members

  1. object IvyToResolution

    Converts Ivy Proofs into Resolution Proofs

Ungrouped