leanproverhex-lll

LLL lattice reduction for the hex project (optional fpLLL FFI). Mathlib-free.
Sort by
  1. Git dependency.
    Not found on Reservoir.

    HexBasica7de08c

  2. Git dependency.
    Not found on Reservoir.

    HexGramSchmidtaceb0e9

  3. Git dependency.
    Not found on Reservoir.

    HexMatrix887323f