Interoperability of Proof Systems with SC-TPTP.

Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak

Browse the full CADE paper archive.