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