Possibly the best name for a programming language ever
I would love to see this adopted at the Enterprise level. Could you imagine slipping sentences like these into your next corporate-drivelspeak document?
The vendors have really bent over backwards to make introducing Coq as painless as possible.
We don't believe in shoving Coq down people's throats. In fact, we've found that once people have had a taste of Coq, they never want to go back.