certus

★ 0 updated 2mo ago ⑂ fork

Refinement type verification for Rust (Verus-inspired, z4 backend)

No plain-English explanation yet — one is being written right now. Check back in a minute.