OAI/Combinatorics/PortMatching/
69 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- Basic.lean 12 declarations
- Decoding.lean 20 declarations
- Extension.lean 23 declarations
- Reduction.lean 4 declarations
- Size.lean 10 declarations