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 EPJ Web of Conferences
EDP Sciences logo
Web of Conferences logo
Search
Menu
Article citations

Download citation

Distributed Online Judge System for Interactive Theorem Provers

Takahisa Mizuno and Shin-ya Nishizaki
EPJ Web of Conferences, 68 (2014) 00016
DOI: https://doi.org/10.1051/epjconf/20146800016


Back to the article