Index of /pub/databases/go/20200328/www/experimental/reasoner-tests
Parent Directory
README.txt
go_axiomatized_minimal.ofn