Coq company blog
Coq 8.13
The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.
- Points
- 116
- HN comments
- 41
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 18, 2021 | Coq 8.13 by infruset | 116 | 41 |
