leanproverlnsym

Armv8 Native Code Symbolic Simulator in Lean
Displaying 1-1 of 1 versions of lnsym
Sort by
  1. Not a part of any version track.
    5c05220
    7 months ago
    Released on December 9, 2024 at 7:18:55PM
    Commit 5c05220 builds on its old leanprover/lean4:nightly-2024-10-07
    nightly-2024-10-07
    39.6 MB Build archive size: 39614050 bytes.