RRtools—a Maple package for aiding the discovery and proof of finite Rogers–Ramanujan type identities

The purpose of this paper is to introduce the RRtools and recpf Maple packages which were developed by the author to assist in the discovery and proof of finitizations of identities of the Rogers–Ramanujan type.