No results found

LeanLion

Code for Singapore Workshop on Formal Proofs and Lean
Displaying 1-1 of 1 versions of LeanLion
Sort by
  1. Not a part of any version track.
    9e50ff2
    4 days ago
    Released on March 8, 2025 at 1:32:24PM
    Commit 9e50ff2 builds on its recent leanprover/lean4:v4.17.0
    v4.17.0
    84.2 MB Build archive size: 84183615 bytes.