hex
Verified computational algebra in Lean 4.
- Specification: SPEC/SPEC.md
- Execution plan: PLAN.md
- Library DAG and phase state: libraries.yml
Hex
Verified computational algebra in Lean 4 — polynomial factoring, LLL, and friends
HexVerified computational algebra in Lean 4.