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!
Variables don't; constants aren't.