| key | value |
|---|---|
| id | 787948105 |
| name | Coq-Kruskal |
| full_name | DmxLarchey/Coq-Kruskal |
| html_url | https://github.com/DmxLarchey/Coq-Kruskal |
| description | Description of the Coq-Kruskal project with a map and pointers |
| created_at | April 17, 2024, 1:42 p.m. |
| updated_at | May 24, 2024, 2:16 p.m. |
| pushed_at | May 24, 2024, 2:16 p.m. |
| size | 105 |
| stargazers_count | 0 |
| watchers_count | 1 |
| forks_count | 0 |
| open_issues | 0 |
| language | Unknown languages |
| awesome_list |