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!
Never call a man a fool. Borrow from him.