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