Ivan-Sergeyev/seymour

This project is about formally verifying Seymour's decomposition theorem for regular matroids.