| id | 57219848 |
|---|
| name | lemma-overloading |
|---|
| full_name | coq-community/lemma-overloading |
|---|
| html_url | https://github.com/coq-community/lemma-overloading |
|---|
| description | Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov] |
|---|
| created_at | April 27, 2016, 2:27 p.m. |
|---|
| updated_at | March 19, 2023, 2:53 a.m. |
|---|
| pushed_at | Jan. 20, 2022, 5:22 p.m. |
|---|
| size | 1,090 |
|---|
| stargazers_count | 26 |
|---|
| watchers_count | 6 |
|---|
| forks_count | 6 |
|---|
| open_issues | 3 |
|---|
| language | Coq |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|