A native Python library for permutation pattern research
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.
Enumerating Cayley permutations with the insertion encoding
Add a description, image, and links to the pattern-avoidance topic page so that developers can more easily learn about it.
To associate your repository with the pattern-avoidance topic, visit your repo's landing page and select "manage topics."