A native Python library for permutation pattern research
Enumerating Cayley permutations with the insertion encoding
Kernel-checked resolution of the last open case of the length-4 Wilf classification on inversion sequences (Hong–Li Conj. 20), 15 length-5 equivalences, and the SPI programme. Produced by an autonomous multi-agent loop; Lean 4 artifacts included.
Pattern-avoiding BFS words of increasing trees: general branching theorems, Lean proofs, enumeration data, and a reproducible preprint.
To associate your repository with the pattern-avoidance topic, visit your repo's landing page and select "manage topics."