Open Issues Need Help
View All on GitHub External reviewers wanted: signed Bernstein obstacle audit reports about 9 hours ago
help wanted
Audit panel D: Lean statement faithfulness and no-penetration bridge about 9 hours ago
help wanted
Audit panel C: regular free-boundary clipping and 3/2 energy rate about 9 hours ago
help wanted
Audit panel B: Mosco convergence and finite-element recovery about 9 hours ago
help wanted
Audit panel A: Bernstein approximation and prior-art collision about 9 hours ago
help wanted
Audit panel E: unified grand positive-basis theorem about 10 hours ago
help wanted
$5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results about 10 hours ago
help wanted
Independent audit: Grand Barrier formalization and 2026 prior-art collision about 10 hours ago
help wanted
help wanted
Audit panel E: nonlinear Bernstein grand theorem and codimension law about 10 hours ago
help wanted
Audit the Bernstein grand order-interval and Banach-scale clipping theorems about 10 hours ago
help wanted
Lean formalization bounty: Bernstein obstacle theorem package about 11 hours ago
help wanted