3 ms·
Well, suppose what you want to check is a proof of the Riemann conjecture in Coq, this might take some substantial time. So whether it is fast could be relevant
by infruset 12y ago
Well, suppose what you want to check is a proof of the Riemann conjecture in Coq, this might take some substantial time. So whether it is fast could be relevant.