Not using something because of its name is so retarded.

I have know of Coq for sometime. Maybe people should clear the filth from their minds.