LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

hex

Verified computational algebra in Lean 4 — polynomial factoring, LLL, and friends

LeanEmerging

Stars

5

Forks

1

Contributors

1

Last push

2m ago

Recent commits

Latest commits.

feat: expose FpPoly eval simp lemmas (#7605)
892d7a3Kim Morrison12m ago
feat: expose BHKS projected row trace (#7602)
fc50778Kim Morrison35m ago
review: confirm toMonic Hensel substrate producers sound (#7597) (#7606)
5dc31d6Kim Morrison37m ago
doc: fifty-eighth Phase 4/5/6 checkpoint summary (#7596) (#7603)
d85e627Kim Morrison1h ago
feat: re-expose toPolynomial one/neg/sub simp surface at ZPoly bridge (#7600)
3f233faKim Morrison1h ago

plan bhks cut separation route (#7595)

c5df366Kim Morrison2h ago

feat: produce toMonicPrimeData Hensel substrate from core facts (#7589)

bdbd2e0Kim Morrison3h ago

feat: polish HexPolyZ unit API (#7587)

f00e08eKim Morrison3h ago

Top contributors

Builders behind this project.