Formalization of Shannon's Theorems in SSReflect-Coq.

Reynald Affeldt, Manabu Hagiwara

Browse the full ITP paper archive.