2 ms·
The original developers include Thierry Coquand. Also there's a tradition of naming theorem provers after birds (that might have started with Coq though). But
by samth 9y ago
The original developers include Thierry Coquand. Also there's a tradition of naming theorem provers after birds (that might have started with Coq though).
But they definitely knew that this pun was there.
- theaeolist 9y ago.. and it is based on a type theory known as the Calculus of Constructions (CoC).