formal-verification

4 plugins use this word, from 4 publishers.

vericodingbyalok
Vericoding: code plus a machine-checked proof against a frozen spec, Lean 4 first. Ships a gate that rejects sorry,…
1 skill
popilibycocotec
Popili formal verification and code intelligence for the Coco language
1 server
formalbylividgreen
The prover side of research-kit, for a project with a Lean library: the handoff a prover session gets, composed…
3 skills
tlabyparalin
Model your whole program in TLA+, with each spec beside the code it describes, checked by tla-ts. Then simplify the…
1 skill