VCA-EPFLleanses

Lean lens implementation with custom notation.
Displaying 1-1 of 1 versions of leanses
Sort by
  1. Not a part of any version track.
    5573a1b
    a month ago
    Released on June 8, 2025 at 5:46:18PM
    Commit 5573a1b builds on its old leanprover/lean4:nightly-2025-06-05
    nightly-2025-06-05
    1.4 MB Build archive size: 1411177 bytes.