This project automatically generates mathematical lemmas corresponding to user-defined functions