Post #3425055

I'm still pretty sad that the Coq theorem prover got renamed, because it's an example of monolingual English speakers just not being able to contain themselves.