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