jscert

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Search similar apps

    License

    Other

    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

    Creator

    jscert

    Related apps