3 ms·
> 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.
by 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.