1 result found Sort:
A Coq formalization of information theory and linear error-correcting codes
Created
2017-12-20
873 commits to master branch, last one 6 days ago