OAI/Combinatorics/Automata/
399 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Cells.lean 26 declarations
- Corners.lean 25 declarations
- Diagram.lean 33 declarations
- Diagrams.lean 22 declarations
- Main.lean 2 declarations
- Model.lean 29 declarations
- Network.lean 41 declarations
- Normalization.lean 19 declarations
- PathNFA.lean 20 declarations
- Rank.lean 40 declarations
- RankLoss.lean 17 declarations
- Recognition.lean 6 declarations
- Relations.lean 38 declarations
- Syntactic.lean 3 declarations
- Tours.lean 30 declarations
- Wiring.lean 48 declarations