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