A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
created at Jan. 21, 2014, 1:18 p.m.
23 +0
194 +0
11 +0