|
|
|
|
|
|
by auggierose
665 days ago
|
|
|
Oh, if you define specification as something that should be done by people without a PhD, you might have a point. I don't think software that needs specs should be done by people without a PhD. Jokes aside, I am not saying that Coq is an easy or simple specification tool. But of course it is a specification tool. Actually, it is one of the very few serious specification tools out there. |
|
|