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
b113044v4.34.0-rc2632.2 MB
Hexb113044