System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.

Andreas Franke, Michael Kohlhase

Browse the full CADE paper archive.