GridTPT: a distributed platform for Theorem Prover Testing.

Thomas Bouton, Diego Caminha, David Dharbe, Pascal Fontaine

Browse the full CADE paper archive.