leanproverComparator0.1.0

Sort by
  1. Registry dependency.
    Found on Reservoir.

    lean4exportv4.35.0-rc3

    Plain-text declaration export for Lean 4