GitHub repository: proof-ninja/infotheo
Primary language: Coq
Description: A Coq formalization of information theory and linear error-correcting codes