mortarsanjayaIMOSLLean4

Formalization of IMO shortlist problems in Lean 4
Displaying 1-1 of 1 versions of IMOSLLean4
Sort by
  1. Not a part of any version track.
    fe07077
    16 days ago
    Released on September 18, 2026 at 11:53:42PM
    Commit fe07077 builds on its recent leanprover/lean4:v4.35.0-rc2
    v4.35.0-rc2
    26.2 MB Build archive size: 26197360 bytes.