No results found

discretion

Utilities for formalizing programming languages in Lean 4, along with other tidbits
Displaying 1-1 of 1 versions of discretion
Sort by
  1. Not a part of any version track.
    edc452b
    a month ago
    Released on May 26, 2025 at 12:13:33PM
    Commit edc452b builds on its old leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    23.6 MB Build archive size: 23553315 bytes.