leanproverComparator0.1.0

Sort by
  1. Registry dependency.
    Found on Reservoir.

    lean4exportv4.34.0-rc1

    Plain-text declaration export for Lean 4