4 ms·
> it's the catchy name Coq's been around since 1989. Maybe those 28 years have something to do with it.
by CalChris 9y ago
> it's the catchy name
Coq's been around since 1989. Maybe those 28 years have something to do with it.
- wizeman 9y ago> Coq's been around since 1989. Maybe those 28 years have something to do with it. Isabelle has been around since 1986, so that alone doesn't explain it.