3 ms·
> The Coq team has decided that Coq will be renamed into 'The Rocq Prover' They have a typo on the side, it's `The Rocq Hard Prover`
by dist-epoch 2y ago
> The Coq team has decided that Coq will be renamed into 'The Rocq Prover'
They have a typo on the side, it's `The Rocq Hard Prover`