lean-machines-centrallean-machines-examples

Example specifications for the Lean Machines modelling framework
Displaying 1-1 of 1 versions of lean-machines-examples
Sort by
  1. Not a part of any version track.
    22921c9
    12 days ago
    Released on December 17, 2025 at 2:11:29PM
    Commit 22921c9 fails to build on leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2