Ivan-SergeyevSeymour

This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Sort by
  1. Git dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  2. Git dependency.
    Not found on Reservoir.

    linters9c8f6fb