No results found

verification

Displaying 1-1 of 1 versions of verification
Sort by
  1. Not a part of any version track.
    66d724b
    2 months ago
    Released on October 31, 2024 at 4:40:24PM
    Commit 66d724b builds on its old leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3
    30.3 MB Build archive size: 30276090 bytes.