DomTheDeveloper

DomTheDeveloper/crl

0 stars 0 forks 0 watchers Lean

12 Open Issues Need Help Last updated: Jul 20, 2026

Open Issues Need Help

View All on GitHub

Lean formalization bounty: Bernstein obstacle theorem package about 1 month ago

help wanted

DomTheDeveloper/crl

0

Lean

$5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results about 2 months ago

help wanted

DomTheDeveloper/crl

0

Lean

External reviewers wanted: signed Bernstein obstacle audit reports 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel D: Lean statement faithfulness and no-penetration bridge 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel C: regular free-boundary clipping and 3/2 energy rate 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel B: Mosco convergence and finite-element recovery 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel A: Bernstein approximation and prior-art collision 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel E: unified grand positive-basis theorem 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Independent audit: Grand Barrier formalization and 2026 prior-art collision 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Independent audit: Grand positive-basis Minkowski repair and saturation theorem 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel E: nonlinear Bernstein grand theorem and codimension law 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit the Bernstein grand order-interval and Banach-scale clipping theorems 4 months ago

help wanted

DomTheDeveloper/crl

0

Lean