LINKED LIST [txt mode] ▸ Correctness — the paradigm for sustai...

home explore | log in

Correctness — the paradigm for sustainable software development

nonullpointers.com · first added by @afreshcup · 2026-09-30 · 1 upvotes

log in to save, upvote or flag this.

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

(not in any lists yet)

─── Discussions ────────────────────────────────────────

* Correctness – A paradigm for sustainable software development

214 pts · 182 comments · node

─── From the discussion ────────────────────────────────

learntla.com · node

* Theorem Proving in Lean 3 (outdated) — Theorem Proving in Lean 3 (outdated) 3.23.0 documentation

leanprover.github.io · node

* http://web.cs.ucdavis.edu/~filkov/papers/lang_github.pdf

web.cs.ucdavis.edu · node

* https://rise4fun.com/dafny

rise4fun.com · node

* Curry On Talk: The Practice and Theory of TLA+

pron.github.io · node