No results found

Regex

A PCRE2 compatible regular expression engine written in Lean 4.
Displaying 1-2 of 2 dependencies of Regex
Sort by

  1. UnicodeBasic
    6c260d5

  2. batteries
    021e272