LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

CompPoly

Computable Polynomials in Lean.

LeanEmerging

Stars

—

Forks

1

Contributors

8

Last push

9d ago

Recent commits

Latest commits.

fix(CompPoly): close RothRuckenstein composeY coeff bridges for v4.30-rc2
d8d6609moon9d ago
fix(CompPoly): complete Lean v4.30-rc2 migration to a green build
dd240ddmoon9d ago
Merge lalalune rc2-compat-arklib into master (univariate v4.30-rc2 repairs)
497ba20moon10d ago
fix(binary): port Fields/Binary/Common.lean to v4.30 toolchain
bb0959dAntigravity10d ago
fix: restore quotient and ntt evaluation builds
26960f5lalalune10d ago

fix(binary): port Fields/Binary/Common.lean to v4.30 toolchain

232874eAntigravity10d ago

Migrate CompPoly univariate ToPoly/Division/Proofs to v4.30 (ArkLib#60)

72e7351Antigravity10d ago

fix: align division wrappers with canonical API

5377c6clalalune10d ago

Top contributors

Builders behind this project.

alexanderlhicks

edinsonwuty10-source

DimitriosMitsios