GitHub repository: weng-chenghui/infotheo
Primary language: Coq
Description: [Forked] A Coq formalization of information theory and linear error-correcting codes