Published June 5, 2024 | Version v1
Software Open

Artifact for "A Coq Mechanization of JavaScript Regular Expression Semantics" at ICFP 2024

Authors/Creators

  • 1. ROR icon École Polytechnique Fédérale de Lausanne

Description

# Artifact for ‘A Coq Mechanization of JavaScript Regular Expression Semantics’ at ICFP 2024

Welcome to our artifact!


See the `README.md` file for informations about the artifact.

Files

README.md

Files (15.5 GB)

Name Size
md5:5e940ba3f2235b8a15fc9fab20cfff90
199.2 MB Download
md5:f5268e1eed9fd55ab60cb615c13cfdd4
25.9 kB Preview Download
md5:af077c45e949676377e0583e150369ae
15.3 GB Download

Additional details

Software

Programming language
Coq , OCaml , JavaScript