Toward Mechanical Methods for Streamlining Proofs.

William Pierce

Browse the full CADE paper archive.