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