| key | value |
|---|---|
| id | 35559890 |
| name | finmap |
| full_name | math-comp/finmap |
| html_url | https://github.com/math-comp/finmap |
| description | Finite sets, finite maps, multisets and generic sets |
| created_at | May 13, 2015, 4:16 p.m. |
| updated_at | Jan. 6, 2024, 7 p.m. |
| pushed_at | Jan. 17, 2024, 2:04 p.m. |
| size | 585 |
| stargazers_count | 46 |
| watchers_count | 16 |
| forks_count | 29 |
| open_issues | 17 |
| language | Coq |
| awesome_list |