Owner

DomTheDeveloper

2 indexierte Repositories · Auf GitHub ansehen

ProofPlaygrond

Lean · 0 Sterne
crl

Lean · 0 Sterne

Einsteigerfreundlich Alles

Offen Alle

Temporary Lean 4.27 verification transport — close after check Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 35/100

DomTheDeveloper/crl#219 · Erstellt am 28.7.2026
Targeted Formal Conjectures audit report Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

DomTheDeveloper/ProofPlaygrond#74 · Erstellt am 23.7.2026
Temporary VC2 AXLE screenshot transport Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 20/100

DomTheDeveloper/crl#212 · 1 Kommentar · Erstellt am 22.7.2026
A248380 / Sylver Coinage after 16 — odd replies closed, even branches remain Offen

DomTheDeveloper/crl#208 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 22.7.2026
Independent review requested: Bernstein–Bézier coefficient-inner-cone grand theorem Offen

DomTheDeveloper/crl#152 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 21.7.2026
Independent audit: Grand Barrier formalization and 2026 prior-art collision Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

DomTheDeveloper/crl#134 · Erstellt am 20.7.2026
Independent audit: Grand positive-basis Minkowski repair and saturation theorem Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

DomTheDeveloper/crl#129 · Erstellt am 20.7.2026
Audit panel E: nonlinear Bernstein grand theorem and codimension law Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

DomTheDeveloper/crl#125 · 1 Kommentar · Erstellt am 20.7.2026
Independent audit: Bernstein V6 strongly monotone grand theorem Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

DomTheDeveloper/crl#123 · 1 Kommentar · Erstellt am 20.7.2026
Audit panel E: unified grand positive-basis theorem Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 18/100

DomTheDeveloper/crl#122 · 3 Kommentare · Erstellt am 20.7.2026
Audit the Bernstein grand order-interval and Banach-scale clipping theorems Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

DomTheDeveloper/crl#120 · 1 Kommentar · Erstellt am 20.7.2026
$5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

DomTheDeveloper/crl#103 · 7 Kommentare · Erstellt am 20.7.2026
External reviewers wanted: signed Bernstein obstacle audit reports Offen

help wanted

DomTheDeveloper/crl#102 · 9 Kommentare · 1 zugewiesene Person · Erstellt am 20.7.2026
Audit panel D: Lean statement faithfulness and no-penetration bridge Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

DomTheDeveloper/crl#101 · 4 Kommentare · Erstellt am 20.7.2026
Audit panel C: regular free-boundary clipping and 3/2 energy rate Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

DomTheDeveloper/crl#100 · 7 Kommentare · Erstellt am 20.7.2026
Audit panel B: Mosco convergence and finite-element recovery Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

DomTheDeveloper/crl#99 · 8 Kommentare · Erstellt am 20.7.2026
Audit panel A: Bernstein approximation and prior-art collision Offen

help wanted

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

DomTheDeveloper/crl#98 · 3 Kommentare · Erstellt am 20.7.2026
Lean formalization bounty: Bernstein obstacle theorem package Offen

help wanted

DomTheDeveloper/crl#97 · 5 Kommentare · 1 zugewiesene Person · Erstellt am 20.7.2026
Independent audit requested: Bernstein obstacle Mosco and free-boundary theorem Offen

DomTheDeveloper/crl#96 · 5 Kommentare · 1 zugewiesene Person · Erstellt am 20.7.2026
Temporary Voronovskaja bootstrap manifest Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

DomTheDeveloper/crl#46 · Erstellt am 16.7.2026

DomTheDeveloper

Neue Issues direkt in Ihr Postfach