bergmannjgRegex

A PCRE2 compatible regular expression engine written in Lean 4.
Displaying 1-1 of 1 packages depending on bergmannjg/Regex
Sort by

  1. CAIMEOX/json-schemausesv4.25.0

    Json Schema lean implementation