jscert

jscert

https://github.com/jscert/jscert

Coq193

5 years ago

Reviews

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

Search similar apps

    License

    Other

    Share

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

    Creator

    jscert

    Related apps