3 ms·

How many proofs will be illegal to download? Will downloading and discarding proofs in an infinite loop be a crime?