Communicating Formal Proofs: The Case of Flyspeck.

Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers

Browse the full ITP paper archive.