No results found

lean4-example

Displaying 1-1 of 1 versions of lean4-example
Sort by
  1. Not a part of any version track.
    e2602e8
    15 days ago
    Released on May 3, 2025 at 12:54:14AM
    Commit e2602e8 builds on its recent leanprover/lean4:v4.19.0
    v4.19.0
    9.0 KB Build archive size: 8960 bytes.