Displaying 1-1 of 1 versions of verso-manual
Sort by
  1. Not a part of any version track.
    732cc96
    10 days ago
    Released on February 23, 2025 at 8:59:34PM
    Commit 732cc96 fails to build on leanprover/lean4:nightly-2025-02-19
    nightly-2025-02-19