key | value |
---|---|
id | 114941836 |
name | infotheo |
full_name | affeldt-aist/infotheo |
html_url | https://github.com/affeldt-aist/infotheo |
description | A Coq formalization of information theory and linear error-correcting codes |
created_at | Dec. 20, 2017, 11:51 p.m. |
updated_at | April 25, 2024, 11:01 p.m. |
pushed_at | April 25, 2024, 11:01 p.m. |
size | 3,865 |
stargazers_count | 61 |
watchers_count | 5 |
forks_count | 14 |
open_issues | 10 |
language | Coq |
awesome_list |