Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
Mechanization of JavaScript Regex Semantics
A Coq Mechanization of JavaScript Regular Expression Semantics: Executable, Proven-Safe, and Faithful
Faithfully mechanizing ECMAScript regexes in Coq ensures safety, usability, and future-proofing.
1