Open Issues Need Help
View All on GitHub Resolve TODOs in the blueprint about 2 months ago
documentation good first issue
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Lean
#formal-verification#lean4#matroids
Prove fin2swap_symm 4 months ago
good first issue
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Lean
#formal-verification#lean4#matroids
Upstreaming to mathlib 4 months ago
AI Summary: This task involves identifying suitable results from a formally verified Seymour's decomposition theorem for regular matroids project (implemented in Lean 4) and creating pull requests to upstream them into the Mathlib library.
Complexity:
4/5
good first issue
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Lean
#formal-verification#lean4#matroids