Search results

Extract to a lemma

refactor

Status: Open.

#176 In Ivan-Sergeyev/seymour;

· madvorak opened on Aug 19, 2025

Do we have any new results?

questionFurther information is requestedFurther information is requested

Status: Open.

#147 In Ivan-Sergeyev/seymour;

· madvorak opened on Jul 5, 2025

Blueprint for cographicness

enhancementNew feature or requestNew feature or request

Status: Open.

#144 In Ivan-Sergeyev/seymour;

· madvorak opened on Jul 3, 2025

Think of a title

paper

Status: Open.

#132 In Ivan-Sergeyev/seymour;

· madvorak opened on Jun 26, 2025

· 

Paper: first draft

Upstreaming to mathlib

good first issueGood for newcomersGood for newcomers

Status: Open.

#119 In Ivan-Sergeyev/seymour;

· Ivan-Sergeyev opened on Jun 23, 2025

Bump Lean and Mathlib

refactor

Status: Open.

#118 In Ivan-Sergeyev/seymour;

· Ivan-Sergeyev opened on Jun 23, 2025

· 

Paper: first draft

Corollary of easy direction

enhancementNew feature or requestNew feature or request

Status: Open.

#117 In Ivan-Sergeyev/seymour;

· Ivan-Sergeyev opened on Jun 23, 2025

Examples

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#14 In Ivan-Sergeyev/seymour;

· madvorak opened on Dec 6, 2024