This is the API documentation for GAPT.
The main package is gapt.
gapt.formats.ivy
Converts Ivy Proofs into Resolution Proofs
This is the API documentation for GAPT.
The main package is gapt.