1. 10
    Modular Verification of Programs with Effects and Effect Handlers in Coq ☶ pdf formalmethods hardware security hal.inria.fr
    lthms avatar authored by lthms 1 month ago | cached | no comments

The Coq implementation can be found on Github

  1.