Lean 4 FFI bindings for the fplll lattice-reduction library, with the unimodular transform for downstream result verification - View it on GitHub