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!
HELP!!!! I'm being held prisoner in /usr/games/lib!