| id | 209734088 |
|---|
| name | waterproof |
|---|
| full_name | impermeable/waterproof |
|---|
| html_url | https://github.com/impermeable/waterproof |
|---|
| description | Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions. |
|---|
| created_at | Sept. 20, 2019, 7:42 a.m. |
|---|
| updated_at | April 20, 2024, 6:36 a.m. |
|---|
| pushed_at | March 19, 2024, 7:34 p.m. |
|---|
| size | 8,116 |
|---|
| stargazers_count | 34 |
|---|
| watchers_count | 3 |
|---|
| forks_count | 5 |
|---|
| open_issues | 31 |
|---|
| language | JavaScript |
|---|
| awesome_list |
https://github.com/coq-community/awesome-coq
|
|---|