subtype, 5 months ago It looks like that the new version of Coq proof assistant will be called Rocq and not Succ(Coq). Cowards.
It looks like that the new version of Coq proof assistant will be called Rocq and not Succ(Coq). Cowards.
