| id | 56243718 |
|---|
| name | aac-tactics |
|---|
| full_name | coq-community/aac-tactics |
|---|
| html_url | https://github.com/coq-community/aac-tactics |
|---|
| description | Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog] |
|---|
| created_at | April 14, 2016, 2:22 p.m. |
|---|
| updated_at | April 23, 2024, 5:13 p.m. |
|---|
| pushed_at | April 23, 2024, 5:13 p.m. |
|---|
| size | 600 |
|---|
| stargazers_count | 29 |
|---|
| watchers_count | 10 |
|---|
| forks_count | 21 |
|---|
| open_issues | 2 |
|---|
| language | OCaml |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|