A Coq formalization of information theory and linear error-correcting codes
-
Updated
Jul 29, 2024 - Coq
A Coq formalization of information theory and linear error-correcting codes
Add a description, image, and links to the convexity topic page so that developers can more easily learn about it.
To associate your repository with the convexity topic, visit your repo's landing page and select "manage topics."