[ICFP24] A Coq Mechanization of JavaScript Regular Expression Semantics ...

[ICFP24] A Coq Mechanization of JavaScript Regular Expression Semantics ...

More to explore