verse-lab/sisyphus

Mostly Automated Proof Repair for Verified Libraries

语言：OCaml · GitHub 星标：16 · Fork：1

话题：coq · curry-howard-isomorphism · formal-verification · higher-order-functions · invariant-inference · ocaml · pldi-artifact · proof-repair

在 GitHub 上查看原仓库