Mostly Automated Proof Repair for Verified Libraries
ocaml
coq
higher-order-functions
formal-verification
separation-logic
pldi-artifact
curry-howard-isomorphism
proof-repair
invariant-inference
-
Updated
Jun 1, 2023 - OCaml