1. leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs  github.com
    2026-10-20 23:04:37   #formalmethods #code #new
  2. Four top proof assistants get normalized benchmarks  github.com
    2026-07-22 20:35:08   #formalmethods #performance #code #new
  3. hax: A Rust verification tool  github.com
    2026-06-11 06:27:09   #rust #formalmethods #code #new
  4. Hazmat: OS-level containment for AI coding agents on macOS  github.com
    2026-04-07 16:23:42   #security #go #mac #formalmethods #ai #vibecoding #code #new
  5. Formal Methods  www.formalmethods.dk
    2026-04-03 01:25:53   #formalmethods #plt #new
  6. TLA+ By Example  tlabyexample.com
    2026-02-24 16:00:27   #formalmethods #new
  7. CSLib: A Focused Effort on Formalizing Computer Science in Lean  www.cslib.io
    2026-01-22 12:50:52   #compsci #math #formalmethods #new
  8. Quint Visualizer: a GraphViz-like visualizer for Quint traces  quint-visualizer.noghartt.dev
    2026-01-16 02:18:18   #show #distributed #formalmethods #new
  9. Functional Data Structures and Algorithms. A Proof Assistant Approach  fdsa-book.net
    2026-02-13 19:26:48   #pdf #book #formalmethods #plt #new
  10. Litex: The First Formal Language Learnable in 2 Hours  litexlang.com
    2025-10-13 14:48:37   #formalmethods #new
  11. Passing of Jean-Raymond Abrial  en.wikipedia.org
    2025-06-10 15:28:30   #formalmethods #wiki
  12. coqoban: Sokoban (in Coq)  github.com
    2025-04-09 04:04:12   #games #formalmethods #code #new
  13. certicoq: A Verified Compiler for Gallina, Written in Gallina  github.com
    2025-04-07 03:48:23   #formalmethods #code #new
  14. Advent of Code in Coq (2021)  github.com
    2025-04-02 02:24:18   #formalmethods #code #new
  15. Lean 4, release v4.17.0  github.com
    2025-03-04 23:48:16   #release #formalmethods #code #new
  16. Practical Alloy: A hands-on guide to formal software design  practicalalloy.github.io
    2025-02-19 20:36:29   #book #formalmethods #new
  17. Verified and Efficient Matching of Regular Expressions with Lookaround  github.com
    2025-01-23 06:36:38   #formalmethods #code #new
  18. Verified post-quantum cryptography on the web  pq.cryspen.com
    2025-01-14 10:05:54   #web #cryptography #formalmethods #new
  19. jspin: GUI for running the SPIN model checker  github.com
    2024-11-04 19:38:47   #formalmethods #code #new
  20. The RAISE specification language, method, and tools  raisetools.github.io
    2024-10-20 17:17:16   #formalmethods #new
  21. TLA+ Wiki  docs.tlapl.us
    2024-10-18 14:44:40   #formalmethods #new
  22. Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada  ironclad.nongnu.org
    2024-10-04 13:06:59   #formalmethods #osdev #new
  23. aya-dev: A proof assistant and a dependently-typed language  github.com
    2024-08-29 07:23:14   #formalmethods #plt #code #new
  24. VeriNum: Formally Verified Numerical Methods  verinum.org
    2024-08-20 22:52:18   #formalmethods #new
  25. SciLean: Scientific computing in Lean 4  github.com
    2024-07-29 08:27:56   #science #formalmethods #code #new

< 1 / 3 >