Loading [MathJax]/jax/output/HTML-CSS/jax.js

Thursday, January 2, 2025

Finally...

...it's Rocq, and no longer Coq!
Posted by Neel Krishnaswami at 1:15 PM

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)