CAIMEOXjson-schema0.1.0

Json Schema lean implementation
Sort by
  1. Git dependency.
    Found on Reservoir.

    Regexv4.25.0

    A PCRE2 compatible regular expression engine written in Lean 4.
  2. Git dependency.
    Not found on Reservoir.

    lean-uri4c796c3