Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
📝 A Rocq library written by members of PnV Discord Server
A formal definition and verification of System F. To be extended to System Fc
He Reiter, Ho Reiter, He Reiter, Immer weiter!
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
Modular Soundness Checking for Feature Model Evolution Plans
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
"Formalization of normal modal propositional logic in Lean 4 / Mathlib — soundness & completeness for all 16 logics in the modal cube, finite model property, and decidability. ~11k lines, fully sorry-free."
Add a description, image, and links to the soundness topic page so that developers can more easily learn about it.
To associate your repository with the soundness topic, visit your repo's landing page and select "manage topics."