@jscert

jscert

A collaboration of INRIA, France & Imperial College London, UK

Pinned repositories

  1. jscert

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

    Coq 166 7