| key | value |
|---|---|
| id | 260735576 |
| name | alectryon |
| full_name | cpitclaudel/alectryon |
| html_url | https://github.com/cpitclaudel/alectryon |
| description | A collection of tools for writing technical documents that mix Coq code and prose. |
| created_at | May 2, 2020, 5:08 p.m. |
| updated_at | Nov. 12, 2024, 6:20 a.m. |
| pushed_at | Sept. 14, 2024, 4:30 p.m. |
| size | 1,821 |
| stargazers_count | 236 |
| watchers_count | 11 |
| forks_count | 34 |
| open_issues | 38 |
| language | HTML |
| awesome_list |