This repository contains a set of utilities to handle, import, export and transform proofs in sc-tptp format
Executable available here
Executable and sources available here
Executable available and sources for certification of clausification available here
Available here
Available here
Available here