Skip to content
GitLab
Explore
Sign in
Rename tptpresult
This can be confused with the TPTP project. Rename it to
gridtptresult
.