Loading [MathJax]/extensions/TeX/newcommand.js
Semantic Domain
Thursday, January 2, 2025
Finally...
...it's
Rocq, and no longer Coq!
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)
