kim-emlean-finmap0.1.0

Displaying 1-3 of 3 versions of lean-finmap
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    14 days ago
    Released on August 27, 2025 at 2:43:51AM
    Commit 27a8b65 builds on its old leanprover/lean4:nightly-2025-08-19
    nightly-2025-08-19
    1.3 MB Build archive size: 1320249 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.23.0-rc2
    23 days ago
    Released on August 18, 2025 at 2:23:27AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0-rc2
  3. 0.1Version track: 0.1
    0.1.0
    v4.22.0-rc2
    2 months ago
    Released on July 2, 2025 at 2:18:46PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0-rc2