On Communicating Proofs in Interactive Mathematical Documents.

Olga Caprotti, Martijn Oostdijk

Browse the full AISC paper archive.