A Distributed and Trusted Web of Formal Proofs.

Dale Miller

Browse the full ICDCIT paper archive.