Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex
Displaying 1-1 of 1 versions of Hex
Sort by
Date
Not a part of any version track.
207c6c8
4 hours ago
Released on September 15, 2026 at 12:22:56PM
Commit 207c6c8 builds on its recent leanprover/lean4:v4.34.0
Hex