Search results

Edge-connectivity

good first issueGood for newcomersGood for newcomers

t-combinatoricsCombinatoricsCombinatorics

Status: Open.

Feature

#31691 In leanprover-community/mathlib4;

· YaelDillies opened on Nov 16, 2025

Change bridges not to require the edge to be present

good first issueGood for newcomersGood for newcomers

t-combinatoricsCombinatoricsCombinatorics

Status: Open.

Task

#31690 In leanprover-community/mathlib4;

· YaelDillies opened on Nov 16, 2025

Order types

RFCRequest for commentRequest for comment

t-combinatoricsCombinatoricsCombinatorics

t-set-theorySet theorySet theory

Status: Open.

#28278 In leanprover-community/mathlib4;

· b-mehta opened on Aug 12, 2025

Tracking Issue: Digraph Targets

good first issueGood for newcomersGood for newcomers

t-combinatoricsCombinatoricsCombinatorics

Status: Open.

#26771 In leanprover-community/mathlib4;

· Rida-Hamadani opened on Jul 5, 2025

Sperner's lemma

good first issueGood for newcomersGood for newcomers

t-analysisAnalysis (normed *, calculus)Analysis (normed *, calculus)

t-combinatoricsCombinatoricsCombinatorics

Status: Open.

#25231 In leanprover-community/mathlib4;

· YaelDillies opened on May 27, 2025

IsMatching is only defined on subgraphs of a simple graph, rather than on simple graphs

t-combinatoricsCombinatoricsCombinatorics

Status: Open.

#11911 In leanprover-community/mathlib4;

· trivial1711 opened on Apr 4, 2024