Philogyremco-mul-div

Displaying 1-1 of 1 versions of remco-mul-div
Sort by
  1. Not a part of any version track.
    9f3241a
    a year ago
    Released on November 5, 2024 at 7:29:05PM
    Commit 9f3241a builds on its old leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3
    498.6 KB Build archive size: 498636 bytes.