Published June 5, 2024
| Version v1
Software
Open
Artifact for "A Coq Mechanization of JavaScript Regular Expression Semantics" at ICFP 2024
-
1.
É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 | Download all |
|---|---|---|
|
md5:5e940ba3f2235b8a15fc9fab20cfff90
|
199.2 MB | Download |
|
md5:f5268e1eed9fd55ab60cb615c13cfdd4
|
25.9 kB | Preview Download |
|
md5:af077c45e949676377e0583e150369ae
|
15.3 GB | Download |