Skip to content
GitLab
Explore
Sign in
Distribution
README
Find file
Blame
History
Permalink
adjustments for swipl and TPTP-v6.3.0
· 75939879
cmaeder
authored
Apr 20, 2016
75939879
Loading
