| key | value |
|---|---|
| id | 20521925 |
| name | coq-scripts |
| full_name | JasonGross/coq-scripts |
| html_url | https://github.com/JasonGross/coq-scripts |
| description | Various useful scripts for dealing with Coq files |
| created_at | June 5, 2014, 11:07 a.m. |
| updated_at | Oct. 9, 2024, 4:37 a.m. |
| pushed_at | Oct. 9, 2024, 4:37 a.m. |
| size | 280 |
| stargazers_count | 8 |
| watchers_count | 4 |
| forks_count | 6 |
| open_issues | 0 |
| language | Coq |
| awesome_list |