Open Issues Need Help
View All on GitHub Resolve TODOs in the blueprint about 1 year ago
documentation good first issue
Ivan-Sergeyev/seymour Ivan-Sergeyev/seymour This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Open project →
34
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Lean
#formal-verification#lean4#matroids
Prove fin2swap_symm over 1 year ago
good first issue
Ivan-Sergeyev/seymour Ivan-Sergeyev/seymour This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Open project →
34
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Lean
#formal-verification#lean4#matroids
Upstreaming to mathlib over 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
Ivan-Sergeyev/seymour Ivan-Sergeyev/seymour This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Open project →
34
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Lean
#formal-verification#lean4#matroids