Open Issues Need Help
View All on GitHub help wanted roadmap/ConformalMapping
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Lean
Analysis/Contour: make the on-curve winding-number layer real (HW Prop 2.2 and regularity-condition witnesses) about 5 hours ago
help wanted roadmap/ContourIntegration
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Lean
CompletelyMonotone: final assembly of Bernstein's theorem about 5 hours ago
help wanted roadmap/OneParameterSemigroups
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Lean
help wanted roadmap/CombinatorialHeegaardFloer
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Lean