imbremdiscretion

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.
    624b878
    16 days ago
    Released on July 2, 2025 at 3:33:08PM
    Commit 624b878 builds on its old leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    23.6 MB Build archive size: 23557275 bytes.