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

External reviewers wanted: signed Bernstein obstacle audit reports 15 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel D: Lean statement faithfulness and no-penetration bridge 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel B: Mosco convergence and finite-element recovery 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel A: Bernstein approximation and prior-art collision 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel E: unified grand positive-basis theorem 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

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

help wanted

DomTheDeveloper/crl

0

Lean

Independent audit: Grand Barrier formalization and 2026 prior-art collision 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Independent audit: Grand positive-basis Minkowski repair and saturation theorem 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit panel E: nonlinear Bernstein grand theorem and codimension law 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Audit the Bernstein grand order-interval and Banach-scale clipping theorems 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean

Lean formalization bounty: Bernstein obstacle theorem package 16 days ago

help wanted

DomTheDeveloper/crl

0

Lean