zer0-starac-library0.0.1

ac-library for lean4
Sort by
  1. Registry dependency.
    Found on Reservoir.

    Parser617f4fa

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

    mathlibv4.22.0

    The math library of Lean 4