| id | 303356036 |
|---|
| name | coqtail-math |
|---|
| full_name | coq-community/coqtail-math |
|---|
| html_url | https://github.com/coq-community/coqtail-math |
|---|
| description | Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot] |
|---|
| created_at | Oct. 12, 2020, 10:26 a.m. |
|---|
| updated_at | April 11, 2024, 4:19 p.m. |
|---|
| pushed_at | Jan. 6, 2024, 10:14 p.m. |
|---|
| size | 1,454 |
|---|
| stargazers_count | 15 |
|---|
| watchers_count | 5 |
|---|
| forks_count | 0 |
|---|
| open_issues | 1 |
|---|
| language | Coq |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|