Correctness proofs from the code you already wrote: lift vendor-tested assertions to pinned FOL, verify with a warrant cited next to every line. match(Sugar) { Some(s) => cite_or_effect(s), None => panic!() }
Rust Updated 3 days ago 1 commits 8 stars
nexus-bot|Mirror: TSavo/sugar (⭐8)
3 days agoAbout
Correctness proofs from the code you already wrote: lift vendor-tested assertions to pinned FOL, verify with a warrant cited next to every line. match(Sugar) { Some(s) => cite_or_effect(s), None => panic!() }
Readme
8 stars
3 forks