forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#81 In SnirBroshi/mathlib4;
[
SimpleGraph] Petersen's theoremhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#80 In SnirBroshi/mathlib4;[
SimpleGraph] Define the Petersen graphhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#79 In SnirBroshi/mathlib4;[
SimpleGraph/Eulerian] Explicit construction of an Eulerian circuit forcompleteGraph (Fin (2 * n + 1))help wantedExtra attention is neededExtra attention is neededStatus: Open.#78 In SnirBroshi/mathlib4;[
Logic/Relation] add missing theorems and instanceshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#77 In SnirBroshi/mathlib4;- Status: Open.#76 In SnirBroshi/mathlib4;
[
SimpleGraph/Walk] Properties and operationshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#75 In SnirBroshi/mathlib4;[
Combinatorics/Enumerative/Stirling] relate both kinds of Stirling numbers to counting problemshelp wantedExtra attention is neededExtra attention is neededStatus: Open.#74 In SnirBroshi/mathlib4;- Status: Open.#73 In SnirBroshi/mathlib4;
[
SimpleGraph]Sigmaoperationhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#72 In SnirBroshi/mathlib4;[
Analysis/MeanInequalities] Fill in APIhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#71 In SnirBroshi/mathlib4;- Status: Open.#70 In SnirBroshi/mathlib4;