succinctlabssp1-clean-native

Displaying 1-1 of 1 versions of sp1-clean-native
Sort by
  1. Not a part of any version track.
    512e944
    16 days ago
    Released on June 26, 2026 at 12:54:41AM
    Commit 512e944 builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    370.1 MB Build archive size: 370132244 bytes.