Critical Agents Supporting Interactive Theorem Proving.

Christoph Benzmller, Volker Sorge

Browse the full EPIA paper archive.