2 ms·
https://en.wikipedia.org/wiki/Rocq https://en.wikipedia.org/wiki/Rocq `The Rocq Prover (formerly named Coq) [...] `
by Epa095 1y ago
https://en.wikipedia.org/wiki/Rocq https://en.wikipedia.org/wiki/Rocq
`The Rocq Prover (formerly named Coq) [...] `