DomTheDeveloper/crl

View on GitHub

Stars: 0
Forks: 1
Open beginner issues: 0
Indexed issues: 19

Dominant language: Lean
License: No license data
Last GitHub push: Aug 25, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: help wanted
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

19 open issues indexed

Temporary Lean 4.27 verification transport — close after check Open

Difficulty 1/5 Under an hour Newbie friendliness 35/100

DomTheDeveloper/crl#219 · Opened Jul 28, 2026
Temporary VC2 AXLE screenshot transport Open

Difficulty 4/5 3-5 days Newbie friendliness 20/100

DomTheDeveloper/crl#212 · 1 comment · Opened Jul 22, 2026
A248380 / Sylver Coinage after 16 — odd replies closed, even branches remain Open

DomTheDeveloper/crl#208 · 1 comment · 1 assignee · Opened Jul 22, 2026
Independent review requested: Bernstein–Bézier coefficient-inner-cone grand theorem Open

DomTheDeveloper/crl#152 · 1 comment · 1 assignee · Opened Jul 21, 2026
Independent audit: Grand Barrier formalization and 2026 prior-art collision Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 25/100

DomTheDeveloper/crl#134 · Opened Jul 20, 2026
Independent audit: Grand positive-basis Minkowski repair and saturation theorem Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 25/100

DomTheDeveloper/crl#129 · Opened Jul 20, 2026
Audit panel E: nonlinear Bernstein grand theorem and codimension law Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 20/100

DomTheDeveloper/crl#125 · 1 comment · Opened Jul 20, 2026
Independent audit: Bernstein V6 strongly monotone grand theorem Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

DomTheDeveloper/crl#123 · 1 comment · Opened Jul 20, 2026
Audit panel E: unified grand positive-basis theorem Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 18/100

DomTheDeveloper/crl#122 · 3 comments · Opened Jul 20, 2026
Audit the Bernstein grand order-interval and Banach-scale clipping theorems Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 25/100

DomTheDeveloper/crl#120 · 1 comment · Opened Jul 20, 2026
$5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 25/100

DomTheDeveloper/crl#103 · 7 comments · Opened Jul 20, 2026
External reviewers wanted: signed Bernstein obstacle audit reports Open

help wanted

DomTheDeveloper/crl#102 · 9 comments · 1 assignee · Opened Jul 20, 2026
Audit panel D: Lean statement faithfulness and no-penetration bridge Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 35/100

DomTheDeveloper/crl#101 · 4 comments · Opened Jul 20, 2026
Audit panel C: regular free-boundary clipping and 3/2 energy rate Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 35/100

DomTheDeveloper/crl#100 · 7 comments · Opened Jul 20, 2026
Audit panel B: Mosco convergence and finite-element recovery Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 25/100

DomTheDeveloper/crl#99 · 8 comments · Opened Jul 20, 2026
Audit panel A: Bernstein approximation and prior-art collision Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 35/100

DomTheDeveloper/crl#98 · 3 comments · Opened Jul 20, 2026
Lean formalization bounty: Bernstein obstacle theorem package Open

help wanted

DomTheDeveloper/crl#97 · 5 comments · 1 assignee · Opened Jul 20, 2026
Independent audit requested: Bernstein obstacle Mosco and free-boundary theorem Open

DomTheDeveloper/crl#96 · 5 comments · 1 assignee · Opened Jul 20, 2026
Temporary Voronovskaja bootstrap manifest Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

DomTheDeveloper/crl#46 · Opened Jul 16, 2026

DomTheDeveloper/crl

Get new issues in your inbox