#dafny — Public Fediverse posts

Dafny: Verification-Aware Programming Language

https://dafny.org/

#HackerNews #Dafny #Verification-Aware #Programming #Language #Programming #Languages #Code #Verification #Software #Development

Readings shared October 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/10-readings_shared_10-09-25 #AI #CoqProver #Dafny #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Programming

Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. https://edu.info.uaic.ro/metode-formale-inginerie-software/2025/week2/2_formal_systems.pdf #FormalMethods #Logic #Dafny

Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. https://edu.info.uaic.ro/metode-formale-inginerie-software/2025/week2/2_formal_systems.pdf #FormalMethods #Logic #Dafny

Teaching Program Verification in Dafny at Amazon (2023)

https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/

#HackerNews #TeachingProgramVerification #Dafny #Amazon #2023 #SoftwareEngineering #CodeQuality

Readings shared November 29, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/29-readings_shared_11-29-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny