Semantic Domain
Thursday, January 2, 2025
Finally...
...it's
Rocq, and no longer Coq!
No comments:
Post a Comment
›
Home
View web version
No comments:
Post a Comment