∀x. verified(x).
Trust, but verify. Actually, skip the trust.
We collect libraries that have been formally verified: machine-checked against a stated specification. Each one ships with its proof, a pipeline that re-checks it, and a claim card that says exactly what was proven and what wasn't.
 |
verified-libs: the registry. The libraries that made it. Receipts included. |
- Verified something? Open a Submit a library issue on verified-libs.
- Want to verify something? Browse the open entry issues that are still Not started.
- Opinions on what "verified" should mean? The standards are a draft, and good arguments change them.
Found an unsound or overstated claim? Please report it privately. See our security policy.