Displaying 1-1 of 1 versions of Bellanova.lean
Sort by
  1. Not a part of any version track.
    e0929d9
    10 months ago
    Released on December 13, 2023 at 9:04:25PM
    Commit e0929d9 builds on its old leanprover/lean4:nightly-2023-01-10
    nightly-2023-01-10