at
.
logic
.
gapt
.
formats
.
ivy
conversion
package
conversion
Visibility
Public
All
Value Members
object
IvyToResolution
Converts Ivy Proofs into Resolution Proofs
Ungrouped