Hacker News new | ask | show | jobs
by mhh__ 1886 days ago
If X is formally verifiable and conducive to writing testable, contractual code then yes.