Title: Machine checked proofs of the design and implementation of a fault-tolerant circuit
Subjects: Fault-tolerant computing