Title: Machine-Checked Proofs of the Design and Implementation of a Fault-Tolerant Circuit