Hex
Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex
1-1 of 1 versions of Hex
Sort by
Date
62f3474v4.35.0-rc31.0 GB
Hex62f3474