Collaborative Interactive Theorem Proving with Clide.

Martin Ring, Christoph Lth

Browse the full ITP paper archive.