Topic: "alt-ergo"
formalsec/smtml
An SMT solver frontend for OCaml
Language: OCaml - Size: 2.64 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 34 - Forks: 10
benmandrew/cavalry
Mini-language for program verification using Hoare logic
Language: OCaml - Size: 95.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
EliasGit2017/ProofBox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
Language: OCaml - Size: 482 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
Tillerino/docker-why3
Docker image for the why3 system with some preinstalled provers
Language: Shell - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
