| id | 305692436 |
|---|
| name | hydra-battles |
|---|
| full_name | coq-community/hydra-battles |
|---|
| html_url | https://github.com/coq-community/hydra-battles |
|---|
| description | Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran] |
|---|
| created_at | Oct. 20, 2020, 11:56 a.m. |
|---|
| updated_at | Oct. 27, 2024, 5:30 a.m. |
|---|
| pushed_at | Feb. 19, 2024, 4:13 p.m. |
|---|
| size | 21,923 |
|---|
| stargazers_count | 68 |
|---|
| watchers_count | 9 |
|---|
| forks_count | 12 |
|---|
| open_issues | 12 |
|---|
| language | Coq |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|