argumentcomputerVero

Displaying 1-1 of 1 versions of Vero
Sort by
  1. Not a part of any version track.
    d35e4c6
    3 years ago
    Released on January 14, 2023 at 10:31:56PM
    Commit d35e4c6 fails to build on leanprover/lean4:nightly-2023-01-10
    nightly-2023-01-10