Comentr
$475r5DLXSm
log in
sign up
Technology
Join this community
Share Community
Report Community
2
Report
Coq 8.13.0 Is Out
3 years ago
Anonymous
$rH7oE7DjRg
https://coq.inria.fr/news/coq-8-13-0-is-out.html
×
Save changes
Cancel
0
Comments
4
Voters
×
Comment
Comment Anonymously
0
Sorted By
Oldest
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
80
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel