Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation.

Johann Schumann, Reinhold Letz, Franz J. Kurfess

Browse the full CADE paper archive.