| key | value |
|---|---|
| id | 9352008 |
| name | coq-tools |
| full_name | JasonGross/coq-tools |
| html_url | https://github.com/JasonGross/coq-tools |
| description | Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc. |
| created_at | April 10, 2013, 5:43 p.m. |
| updated_at | Oct. 26, 2024, 8:22 a.m. |
| pushed_at | Oct. 25, 2024, 1:14 p.m. |
| size | 1,260 |
| stargazers_count | 39 |
| watchers_count | 4 |
| forks_count | 9 |
| open_issues | 42 |
| language | Python |
| awesome_list |