Highlights
- Pro
Block or Report
Block or report jaccokrijnen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
2022-scp-translation-relations
2022-scp-translation-relations PublicCoq implementation of translation relations described in Translation Ceritification for Smart Contracts (Submitted to SCP)
Coq 2
-
-
modelling-computing-systems-errata
modelling-computing-systems-errata PublicErrata for the book Modelling Computing Systems
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.