Comment Re:one proof engine (Score 1) 90
For what it's worth, I've had good experiences with coq
Don't forget to pay your $699 licensing fee, you coq-smoking teabagger!
For what it's worth, I've had good experiences with coq
Don't forget to pay your $699 licensing fee, you coq-smoking teabagger!
"God is a comedian playing to an audience too afraid to laugh." - Voltaire