jessealamathales

TypeScript compiler and JavaScript engine in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    Regexv4.29.0

  2. Git dependency.
    Found on Reservoir.

    batteriesv4.29.0

    The "batteries included" extended library for the Lean programming language and theorem prover