No results found

calcify

Displaying 1-1 of 1 versions of calcify
Sort by
  1. Not a part of any version track.
    bce615d
    12 days ago
    Released on January 6, 2025 at 12:58:13PM
    Commit bce615d builds on its old leanprover/lean4:v4.12.0
    v4.12.0
    649.1 KB Build archive size: 649132 bytes.