JavaScript正規表現のCoq機械化

ECMAScriptのJavaScript正規表現仕様を忠実に機械化し、安全性と信頼性を確保する。