Distributed Online Judge System for Interactive Theorem Provers
EPJ Web of Conferences, 68 (2014) 00016
Published online: 28 March 2014
DOI: 10.1051/epjconf/20146800016
HTTP_Request2_Exception Unable to connect to tcp://think-ws.ca.edps.org:85. Error: php_network_getaddresses: getaddrinfo failed: Name or service not known