2 results found Sort:
Monadic effects and equational reasonig in Coq
Created
2018-08-06
662 commits to master branch, last one about a month ago
A Coq formalization of information theory and linear error-correcting codes
Created
2017-12-20
873 commits to master branch, last one 4 days ago