leanproverComparator0.1.0

Sort by
  1. Registry dependency.
    Found on Reservoir.

    lean4exportv4.33.0-rc1

    Plain-text declaration export for Lean 4