The Naproche-ZF Theorem Prover (Short Paper).

Adrian De Lon

Browse the full IJCAR paper archive.