| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
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.
Add a description, image, and links to the inversion-sequences topic page so that developers can more easily learn about it.
To associate your repository with the inversion-sequences topic, visit your repo's landing page and select "manage topics."
| Back | FazBrowse Home | New Git URL |