GitHub topics: soundness

📝 A Coq library written by members of PnV Discord Server

Language: Rocq Prover - Size: 659 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 14 - Forks: 1

Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

Size: 854 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 122 - Forks: 7

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

Language: HTML - Size: 9.98 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 31 - Forks: 1

A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems

Language: Coq - Size: 884 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Modular Soundness Checking for Feature Model Evolution Plans

Language: TeX - Size: 31.3 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1

He Reiter, Ho Reiter, He Reiter, Immer weiter!

Language: Coq - Size: 1.85 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

A formal definition and verification of System F. To be extended to System Fc

Language: Isabelle - Size: 289 KB - Last synced at: 7 months ago - Pushed at: about 4 years ago - Stars: 10 - Forks: 1

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

Language: C - Size: 171 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 0

Related Keywords

ecosyste.ms