Skip to content

Cleansubprojects

Viktor Kuncak requested to merge github/fork/SimonGuilloud/cleansubprojects into main

Created by: SimonGuilloud

remove tptp and theories subprojects, move their files in utils and root

Merge request reports