No results found

convex

Displaying 1-1 of 1 versions of convex
Sort by
  1. Not a part of any version track.
    244700c
    2 months ago
    Released on September 7, 2024 at 2:17:08PM
    Commit 244700c builds on its old leanprover/lean4:v4.10.0-rc1
    v4.10.0-rc1
    6.4 MB Build archive size: 6358092 bytes.