leanproverhex-lll

LLL lattice reduction for the hex project (optional fpLLL FFI). Mathlib-free.
Displaying 1-6 of 6 versions of hex-lll
Sort by
  1. Not a part of any version track.
    ca30af2
    v0.6.0
    14 days ago
    Released on September 12, 2026 at 10:08:34AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  2. Not a part of any version track.
    ca30af2
    v0.6.0
    14 days ago
    Released on September 12, 2026 at 10:08:34AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  3. Not a part of any version track.
    5676b60
    v0.5.0
    18 days ago
    Released on September 8, 2026 at 10:42:56AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  4. Not a part of any version track.
    17c8454
    v0.4.0
    18 days ago
    Released on September 8, 2026 at 9:55:57AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  5. Not a part of any version track.
    de46c02
    v0.3.0
    18 days ago
    Released on September 8, 2026 at 7:17:37AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  6. Not a part of any version track.
    4e7150b
    v0.2.0
    19 days ago
    Released on September 8, 2026 at 3:52:44AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2