LINKED LIST [txt mode] ▸ Formal methods and the future of prog...
home explore | log in

Formal methods and the future of programming

blog.janestreet.com · 2026-10-01 · 0 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* Why Don't People Use Formal Methods? (from the discussion)