verified-dyn-lang-interp/.gitattributes, branch icfp25
Artifact for https://doi.org/10.1145/3747537
https://git.fautchen.eu/verified-dyn-lang-interp.git/atom?h=icfp25
2025-07-12T10:58:41Z
Rocq syntax highlight.
2025-07-12T10:58:41Z
Robbert Krebbers
2025-07-12T10:58:41Z
urn:sha1:6a59973f275a95f10de0ddb62aa3f995c838e3a5