3 ms·
> Shhh. Let the new kids enjoy their smug. Agreed. They need to discover on their own that critical software requires coq. </kidding> ... </i-think>
by DoofusOfDeath 7y ago
> Shhh. Let the new kids enjoy their smug.
Agreed. They need to discover on their own that critical software requires coq.
</kidding> ... </i-think>
- quickthrower2 7y agoCoq is great. Now the problem is developers having the sharpest, greatest tools but not understanding the spec, or working to a stupid spec and not calling it out.