Clone of http://web.math.unifi.it/~benedikt/r.cgi/coq