Projects in Awesome Lists tagged with mechanization
A curated list of projects in awesome lists tagged with mechanization .
https://github.com/epfl-systemf/warblre
A Coq Mechanization of ECMAScript 2023 Regexes
coq javascript mechanization regexes regularexpressions test262
Last synced: 10 Feb 2025
