Pólya's enumeration theorem
A Lean 4 formalization of Pólya's enumeration theorem and some of its applications, along with a fast algorithm for its use.
Resources
Further information is available at the project web pages:
Author
Maintained by Luka Opravš.