Open Issues Need Help
View All on GitHub Define a typeclass for GO-space 7 days ago
good first issue t-topology
Define the Hodge star operator 10 days ago
enhancement good first issue help-wanted t-algebra
Extend basic API about `DomMulAct` 30 days ago
good first issue
The Shapley-Folkman lemma about 2 months ago
good first issue t-analysis
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 `(· • ·)` 3 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 3 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! 4 months ago
good first issue
The Gaussian as a Schwartz function 5 months ago
good first issue t-analysis
Change bridges not to require the edge to be present 5 months ago
good first issue t-combinatorics
Edge-connectivity 7 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` 9 months ago
enhancement good first issue t-analysis
Følner sequences and amenability 10 months ago
good first issue
Tracking Issue: Naming consistency 11 months ago
good first issue help-wanted please-adopt
Tracking Issue: Digraph Targets 11 months ago
good first issue t-combinatorics