Open Issues Need Help
View All on GitHub Extend basic API about `DomMulAct` about 16 hours ago
good first issue
The Shapley-Folkman lemma 25 days ago
good first issue t-analysis
Strict group homs are stable by `Prod.map` about 2 months ago
enhancement good first issue t-topology
Define Submodule.IsTopologicalCompl about 2 months ago
enhancement good first issue t-topology t-analysis
Define `Asymptotics.IsSubpolynomial` about 2 months ago
good first issue t-analysis
Add typeclasses for smooth `(· • ·)` 2 months ago
good first issue t-differential-geometry
enhancement good first issue
enhancement good first issue t-topology t-analysis
enhancement good first issue t-topology t-analysis
Sperner's lemma 2 months ago
good first issue t-combinatorics t-analysis
Prove that inversion is discontinuous at the center 3 months ago
good first issue t-topology t-analysis t-euclidean-geometry
Small TODOs to do! 3 months ago
good first issue
The Gaussian as a Schwartz function 4 months ago
good first issue t-analysis
Change bridges not to require the edge to be present 4 months ago
good first issue t-combinatorics
Edge-connectivity 6 months ago
good first issue t-combinatorics
Add delaborator checking canonicity of instances 7 months ago
good first issue
Rename `rpow_le_rpow` 7 months ago
good first issue please-adopt
Show that `expNegInvGlue` is not analytic at `0` 8 months ago
enhancement good first issue t-analysis
Følner sequences and amenability 9 months ago
good first issue
Tracking Issue: Naming consistency 10 months ago
good first issue help-wanted please-adopt
Tracking Issue: Digraph Targets 10 months ago
good first issue t-combinatorics