Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory.

Reynald Affeldt, Jacques Garrigue

Browse the full ITP paper archive.