verified-dyn-lang-interp, branch main
Artifact for https://doi.org/10.1145/3747537
https://git.fautchen.eu/verified-dyn-lang-interp.git/atom?h=main
2025-07-12T10:58:41Z
Rocq syntax highlight.
2025-07-12T10:58:41Z
Robbert Krebbers
2025-07-12T10:58:41Z
urn:sha1:6a59973f275a95f10de0ddb62aa3f995c838e3a5
Update dune-project, opam file
2025-07-08T19:00:58Z
Rutger Broekhoff
2025-07-08T19:00:58Z
urn:sha1:a089b873a517e30747b1518e82fa241feeb943b5
Initialize repository
2025-07-07T19:52:08Z
Rutger Broekhoff
2025-07-07T19:52:08Z
urn:sha1:ba61dfd69504ec6263a9dee9931d93adeb6f3142