Comentr

$PKmew70P1W

log in sign up

Technology

Share Community

Report Community

2

Coq 8.13.0 Is Out

4 years ago

Anonymous $rH7oE7DjRg

https://coq.inria.fr/news/coq-8-13-0-is-out.html

0 Comments
4 Voters

0

Sorted By Confidence

Score Confidence Controversy Best Rated Worst Rated Newest Oldest Most Upvoted Most Downvoted

240 Per Page

80 160 240

© 2025 Comentr - Site Rules

Questions, comments, complains: email me