Download citation

Distributed Online Judge System for Interactive Theorem Provers

EPJ Web of Conferences, 68 (2014) 00016
DOI: https://doi.org/10.1051/epjconf/20146800016