Displaying 1-1 of 1 versions of Seminar
Sort by
  1. Not a part of any version track.
    04dad1e
    a month ago
    Released on July 21, 2025 at 3:45:09PM
    Commit 04dad1e fails to build on leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3