Here are
8 public repositories
matching this topic...
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 formal definition and verification of System F. To be extended to System Fc
Updated
Jun 24, 2021
Isabelle
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 Coq library written by members of PnV Discord Server
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
Improve this page
Add a description, image, and links to the
soundness
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
soundness
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.