Distributed Online Judge System for Interactive Theorem ProversTakahisa Mizuno and Shin-ya NishizakiEPJ Web of Conferences, 68 (2014) 00016DOI: https://doi.org/10.1051/epjconf/20146800016