Dale Miller 0001. A Distributed and Trusted Web of Formal Proofs. In Dang Van Hung, Meenakshi D'Souza, editors, Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings. Volume 11969 of Lecture Notes in Computer Science, pages 21-40, Springer, 2020. [doi]
Abstract is missing.