↑
Coq theorem prover is now called Rocq
Posted by
rwmj
|
2 hours ago |
0 comments
There are no comments
back
