🦞🌯 Lobster Roll

Thread

Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
L 5 pts 0 comments by rdivyanshu Aug 2, 2024 formalmethods thread

Stories related to "Streams, Calculational Proofs and Dafny" across the full archive.

Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
L 5 pts 0 comments by rdivyanshu Aug 2, 2024 formalmethods Programming Languages / CS Theory thread
Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
HN 1 pts 0 comments by todsacerdoti Aug 2, 2024 thread
Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
HN 1 pts 0 comments by thunderbong Aug 4, 2024 thread
Streams, Calculational Proofs and Dafny (rdivyanshu.github.io)
HN 35 pts 9 comments by misonic Aug 7, 2024 thread
Programs and Proofs: Mechanizing Mathematics with Dependent Types (ilyasergey.net)
L 6 pts 2 comments by pushcx Jun 9, 2017 formalmethods Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Proofs of correctness of the TLS handshake merged to s2n (github.com)
L 10 pts 3 comments by sanxiyn Aug 30, 2017 formalmethodssecurity Programming Languages / CS TheorySecurity / Privacy thread
Proofsweeper: Play Minesweeper by formally proving your moves in Idris (github.com)
L 10 pts 0 comments by kel Dec 30, 2017 formalmethods Programming Languages / CS Theory thread
Writing basic proofs in ATS (bluishcoder.co.nz)
L 17 pts 0 comments by doublec Jan 3, 2018 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
Proofs (and Refutations) using Z3 (blog.janestreet.com)
L 11 pts 0 comments by pushcx Feb 15, 2018 formalmethods Programming Languages / CS Theory thread
Social Processes and Proofs of Theorems and Programs (1979) (cs.cmu.edu)
L 7 pts 5 comments by nickpsecurity Feb 19, 2018 formalmethodspdfpractices Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
The original study saying formal verification was useless. In Section 6 of [this paper](http://www.cl.cam.ac.uk/archive/mjcg/papers/AvraProofPaper.pdf), Avra Cohn gave a similar reality check when attempting to mechanize a hardware proof. Also, Guttman summarizes [here](http://www.cypherpunks.to/~pe...
From Unit Testing to Formal Proofs (adampalay.com)
L 11 pts 1 comments by pushcx May 7, 2018 formalmethodspythontesting Programming (General)Programming Languages / CS Theory thread
The Surprising Security Benefits of End-to-End Formal Proofs (cccblog.org)
L 6 pts 0 comments by GeoffWozniak Jun 14, 2018 formalmethodssecurity Programming Languages / CS TheorySecurity / Privacy thread
Lean Forward: Usable Computer-Checked Proofs and Computations for Number Theorists (lean-forward.github.io)
L 7 pts 0 comments by pushcx Aug 7, 2018 formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics thread
Formal Proofs, the Fine Print and Side Effects (people.eng.unimelb.edu.au)
L 7 pts 1 comments by minimax Oct 4, 2018 formalmethodspdfsecurity Programming Languages / CS TheorySecurity / Privacy thread
Formal Proofs of Tarjan’s Algorithm in Why3, Coq, Isabelle/HOL (arxiv.org)
L 6 pts 0 comments by praalhans Oct 31, 2018 formalmethodspdf Programming Languages / CS Theory thread
Explaining formal proofs (boxbase.org)
L 6 pts 10 comments by HenriTuhola Apr 15, 2019 formalmethodsplt Programming Languages / CS Theory thread
C program proofs with Frama-C and its WP plugin (allan-blanchard.fr)
L 15 pts 5 comments by ac Jun 12, 2019 cformalmethodsprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Generating Correctness Proofs with Neural Networks (arxiv.org)
L 7 pts 4 comments by ceh Aug 2, 2019 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory thread
Proofs Should Repair Themselves (galois.com)
L 10 pts 2 comments by hwayne Dec 9, 2020 formalmethods Programming Languages / CS Theory thread
Untangling mechanized proofs (plv.csail.mit.edu)
L 22 pts 1 comments by jtm Mar 6, 2022 formalmethods Programming Languages / CS Theory thread
Refactoring with Proofs (youtube.com)
L 6 pts 0 comments by hath995 Mar 11, 2024 formalmethodstestingvideo Programming (General)Programming Languages / CS Theory thread
Simple proofs with Z3Py (philipzucker.com)
L 7 pts 3 comments by fanf Jun 15, 2024 formalmethods Programming Languages / CS Theory thread
Yalep - Micro language based on Lean for teaching mathematical high-school proofs (gricad-gitlab.univ-grenoble-alpes.fr)
L 16 pts 0 comments by jeanthomas Jul 28, 2025 educationformalmethods Programming Languages / CS TheoryScience / Math / Physics thread
Automated Lean Proofs for Every Type (galois.com)
L 6 pts 0 comments by repl Oct 10, 2025 formalmethods Programming Languages / CS Theory thread
The Intent Envelope: Proofs for Completeness, Not Just Soundness (midspiral.com)
L 5 pts 4 comments by heyyfernanda Jan 26, 2026 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory thread
The Agentic Mullet: code in the front, proofs in the back (amplifypartners.com)
L 1 pts 0 comments by itsjack Feb 25, 2026 formalmethodsrustvibecoding AI / Machine LearningSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread