DomTheDeveloper

DomTheDeveloper/crl

12 good first / help-wanted issues · Lean · last activity Jul 20, 2026

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

$5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results 9 days ago

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

Lean formalization bounty: Bernstein obstacle theorem package 2 months ago

help wanted

DomTheDeveloper/crl

0

Lean