bergmannjgRegex

A PCRE2 compatible regular expression engine written in Lean 4.
Sort by
  1. Git dependency.
    Found on Reservoir.

    Parser66271b6

    Parser Combinator Library for Lean 4
  2. Git dependency.
    Found on Reservoir.

    batteriesv4.29.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  3. Git dependency.
    Found on Reservoir.

    UnicodeBasic42d2b4e

    Basic Unicode support for Lean 4