https://github.com/jscert/jscert
Coq196
9 months ago
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Other