Automated Theory Formation In Pure Mathematics | Desertcart Sri Lanka