3 ms·
Using Formal Methods at Work
- nextaccountic 5y agoIn the "assumptions" section: it's kind of odd to dismiss Coq (and other dependently typed languages / theorem provers, like Agda and F*) as a way to write formal specifications.
- touisteur 5y agoYes but. Seeing the eye rolls one gets 'just' talking about proving properties on one's code... Might wanna start 'soft'...