ecyrbeleanio0.6.0

HTTP router for Lean4
Displaying 1-6 of 6 versions of leanio
Sort by
  1. 0.6Version track: 0.6
    0.6.0
    v0.6.0
    6 days ago
    Released on August 11, 2026 at 4:23:15PM
    Commit 96fb1b0 builds on its recent leanprover/lean4:v4.33.0
    v4.33.0
    5.3 MB Build archive size: 5273551 bytes.
  2. 0.6Version track: 0.6
    0.6.0
    v0.6.0
    6 days ago
    Released on August 11, 2026 at 4:23:15PM
    Commit 96fb1b0 builds on its recent leanprover/lean4:v4.33.0
    v4.33.0
    5.3 MB Build archive size: 5273551 bytes.
  3. 0.5Version track: 0.5
    0.5.0
    v0.5.0
    a month ago
    Released on July 14, 2026 at 3:51:34PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  4. 0.4Version track: 0.4
    0.4.0
    v0.4.0
    a month ago
    Released on July 7, 2026 at 11:23:52AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  5. 0.3Version track: 0.3
    0.3.0
    v0.3.0
    a month ago
    Released on July 3, 2026 at 6:21:26PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  6. 0.2Version track: 0.2
    0.2.0
    v0.2.0
    2 months ago
    Released on June 29, 2026 at 11:43:38AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0