Lean Formalization of q-Series Theory

This Lean 4 repo contains formalization pertaining to the theory of q-Series, which is central to number theory.

Public development in the form of Pull Requests (PR) is welcome!