rootProject.name = 'pandamonium-theorem-prover'