System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.

Jrgen Zimmer, Michael Kohlhase

Browse the full CADE paper archive.