Open Issues Need Help
View All on GitHub Resolve TODOs in the blueprint 12 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 about 1 year 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 about 1 year 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