Propriétaire

DomTheDeveloper

2 dépôts indexés · Voir sur GitHub

ProofPlaygrond

Lean · 0 étoiles
crl

Lean · 0 étoiles

Accessible aux débutants Tout

Ouverte Toutes

Temporary Lean 4.27 verification transport — close after check Ouverte

Difficulté 1/5 Moins d'une heure Accessibilité débutants 35/100

DomTheDeveloper/crl#219 · Ouverte le 28/7/2026
Targeted Formal Conjectures audit report Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

DomTheDeveloper/ProofPlaygrond#74 · Ouverte le 23/7/2026
Temporary VC2 AXLE screenshot transport Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 20/100

DomTheDeveloper/crl#212 · 1 commentaire · Ouverte le 22/7/2026
A248380 / Sylver Coinage after 16 — odd replies closed, even branches remain Ouverte

DomTheDeveloper/crl#208 · 1 commentaire · 1 personne assignée · Ouverte le 22/7/2026
Independent review requested: Bernstein–Bézier coefficient-inner-cone grand theorem Ouverte

DomTheDeveloper/crl#152 · 1 commentaire · 1 personne assignée · Ouverte le 21/7/2026
Independent audit: Grand Barrier formalization and 2026 prior-art collision Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

DomTheDeveloper/crl#134 · Ouverte le 20/7/2026
Independent audit: Grand positive-basis Minkowski repair and saturation theorem Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

DomTheDeveloper/crl#129 · Ouverte le 20/7/2026
Audit panel E: nonlinear Bernstein grand theorem and codimension law Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

DomTheDeveloper/crl#125 · 1 commentaire · Ouverte le 20/7/2026
Independent audit: Bernstein V6 strongly monotone grand theorem Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

DomTheDeveloper/crl#123 · 1 commentaire · Ouverte le 20/7/2026
Audit panel E: unified grand positive-basis theorem Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 18/100

DomTheDeveloper/crl#122 · 3 commentaires · Ouverte le 20/7/2026
Audit the Bernstein grand order-interval and Banach-scale clipping theorems Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

DomTheDeveloper/crl#120 · 1 commentaire · Ouverte le 20/7/2026
$5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

DomTheDeveloper/crl#103 · 7 commentaires · Ouverte le 20/7/2026
External reviewers wanted: signed Bernstein obstacle audit reports Ouverte

help wanted

DomTheDeveloper/crl#102 · 9 commentaires · 1 personne assignée · Ouverte le 20/7/2026
Audit panel D: Lean statement faithfulness and no-penetration bridge Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

DomTheDeveloper/crl#101 · 4 commentaires · Ouverte le 20/7/2026
Audit panel C: regular free-boundary clipping and 3/2 energy rate Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

DomTheDeveloper/crl#100 · 7 commentaires · Ouverte le 20/7/2026
Audit panel B: Mosco convergence and finite-element recovery Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

DomTheDeveloper/crl#99 · 8 commentaires · Ouverte le 20/7/2026
Audit panel A: Bernstein approximation and prior-art collision Ouverte

help wanted

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

DomTheDeveloper/crl#98 · 3 commentaires · Ouverte le 20/7/2026
Lean formalization bounty: Bernstein obstacle theorem package Ouverte

help wanted

DomTheDeveloper/crl#97 · 5 commentaires · 1 personne assignée · Ouverte le 20/7/2026
Independent audit requested: Bernstein obstacle Mosco and free-boundary theorem Ouverte

DomTheDeveloper/crl#96 · 5 commentaires · 1 personne assignée · Ouverte le 20/7/2026
Temporary Voronovskaja bootstrap manifest Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

DomTheDeveloper/crl#46 · Ouverte le 16/7/2026

DomTheDeveloper

Recevez les nouvelles issues par e-mail