| id | 375053657 |
|---|
| name | coq-waterproof |
|---|
| full_name | impermeable/coq-waterproof |
|---|
| html_url | https://github.com/impermeable/coq-waterproof |
|---|
| description | The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements. |
|---|
| created_at | June 8, 2021, 3:12 p.m. |
|---|
| updated_at | Nov. 10, 2024, 11:08 a.m. |
|---|
| pushed_at | Nov. 13, 2024, 2:51 p.m. |
|---|
| size | 1,149 |
|---|
| stargazers_count | 33 |
|---|
| watchers_count | 3 |
|---|
| forks_count | 11 |
|---|
| open_issues | 4 |
|---|
| language | Coq |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|