System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level.

Andreas Meier

Browse the full CADE paper archive.