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
be54f27v4.35.0-rc3928.6 MB
Hexbe54f27