-
MARCHE Claude authored
edited proof and counterexamples have nothing displayed yet since we have no server request for that. Or, alternatively, Proof_status_change should have more data: edited proof and counterexamples
5f699d6a
edited proof and counterexamples have nothing displayed yet since we have no server request for that. Or, alternatively, Proof_status_change should have more data: edited proof and counterexamples