Closed SimonGuilloud closed 1 year ago
remove tptp and theories subprojects, move their files in utils and root
remove tptp and theories subprojects, move their files in utils and root