Technology

Share Community
Report Community
2

Coq 8.13.0 Is Out

3 years ago
Anonymous $rH7oE7DjRg

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

Coq 8.13.0 Is Out

Feb 18, 2021, 4:49pm UTC
$rH7oE7DjRg
https://coq.inria.fr/news/coq-8-13-0-is-out.html