GitHub repository: Ivan-Sergeyev/seymour
Primary language: Lean
Description: This project is about formally verifying Seymour's decomposition theorem for regular matroids.