LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

CompPoly

A computable model of Polynomials in Lean.

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

16h ago

Recent commits

Latest commits.

feat: optimize multivariate exponentiation (#212)
290f23dNatasha Klaus1mo ago
feat(Operations, EvalLemmas): add aeval_zero/one/pow/neg/sub and eval_pow (#211)
ecaa68fKim Morrison1mo ago
feat(eval): add Horner evaluation for polynomial representations (#209)
568b917Valerii Huhnin1mo ago
bench: add polynomial evaluation benchmarking (#208)
367a83cValerii Huhnin1mo ago
feat: update to 4.29.1 (#207)
bc5fb5fDerek Sorensen1mo ago

refactor(multivariate): place renameEquiv and finSuccEquiv under CMvPolynomial namespace (#206)

2511cedDimitriosMitsios1mo ago

update roadmap (#205)

b29e6c3Derek Sorensen2mo ago

feat(univariate): Horner's method implementation (#199)

067a22bDimitriosMitsios2mo ago

Top contributors

Builders behind this project.

alexanderlhicks