FormalVerification - howinfo/howinfo GitHub Wiki

Lightweight Diagramming for Lightweight Formal Methods

• https://blog.brownplt.org/2025/06/09/copeanddrag.html
• https://news.ycombinator.com/item?id=44227651

ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

• https://arxiv.org/abs/2505.24760
• https://news.ycombinator.com/item?id=44157077

Teaching Program Verification in Dafny at Amazon (2023)

• https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/
• https://news.ycombinator.com/item?id=44163618

A Lean companion to Analysis I

• https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/
• https://news.ycombinator.com/item?id=44145517

What works (and doesn't) selling formal methods

• https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods
• https://news.ycombinator.com/item?id=44131324

Formal Verification of Zero-Downtime Database Migration in PlusCal

• https://biradarganesh25.github.io/pluscal/db_migration.html
• https://news.ycombinator.com/item?id=43306776