Ivan-Sergeyev/seymour

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

语言：Lean · GitHub 星标：49 · Fork：15

话题：formal-verification · lean4 · matroids

在 GitHub 上查看原仓库