Title: Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor
Subjects: Computer algorithms, Automatic theorem proving