No results found

Regex

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

    tryAtEachStepea68488

    Try a tactic at each step in a Lean proof.
  2. Git dependency.
    Found on Reservoir.

    batteriesv4.20.0

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

    UnicodeBasic45c426d

    Basic Unicode support for Lean 4