LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

CompPoly

A computable model of Polynomials in Lean.

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

3mo ago

Recent commits

Latest commits.

Refactor AI review workflow for pull requests
e7085ccAlexander Hicks3mo ago
Rename pr_summary.yml to summary.yml
94903deAlexander Hicks3mo ago
Add a test suite (#128)
f3417f1Derek Sorensen4mo ago
refactor on sum range shift proof (#135)
459c520erdkocak4mo ago
Fix divByMonicAux initial counter off-by-one (#124)
c02b394Elias Judin4mo ago

Prove QuotientCPolynomial ↔ Polynomial ring equivalence (#123)

df76589Elias Judin4mo ago

Close KoalaBear and AdditiveNTT Phase-1 proof debt (#121)

92e7dc7Elias Judin4mo ago

Implement eval₂Hom, isEmptyRingEquiv, and SMulZeroClass for CMvPolynomial (#120)

1c02f38Quang Dao4mo ago

Top contributors

Builders behind this project.

alexanderlhicks