A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter - View it on GitHub