No results found

WadrayVerification

Verification of the Wadray library
Displaying 1-1 of 1 versions of WadrayVerification
Sort by
  1. Not a part of any version track.
    2e0d2e5
    3 months ago
    Released on June 21, 2024 at 4:01:46PM
    Commit 2e0d2e5 builds on its old leanprover/lean4:v4.9.0-rc2
    v4.9.0-rc2
    3.0 MB Build archive size: 2986989 bytes.