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.
Ukko, 5 months ago @subtype Btw did you know it's CEP #69 that did it https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover
@subtype Btw did you know it's CEP #69 that did it
https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover
subtype, 5 months ago @Ukko nice
@Ukko nice
Ukko, 5 months ago @subtype Haven't seen the Succ(Coq) one yet.
@subtype Haven't seen the Succ(Coq) one yet.
subtype, 5 months ago @Ukko if there's C++ then why not...
@Ukko if there's C++ then why not...
subtype, 5 months ago @Ukko Though maybe it should be just Suc(Coq) idk how Peano numbers were usually defined there.
@Ukko Though maybe it should be just Suc(Coq) idk how Peano numbers were usually defined there.
Suc(Coq)
Ukko, 5 months ago @subtype Just S Coq actually but then you're no longer funny
@subtype Just S Coq actually but then you're no longer funny
subtype, 5 months ago @Ukko It's ok I never was funny in the first place.
@Ukko It's ok I never was funny in the first place.
Ukko, 5 months ago @subtype o kurwa samo-dewaluacja
@subtype o kurwa samo-dewaluacja
Add comment