2 ms·Yes. Coq doesn't validate non terminating proofs.by krapht 10y agoYes. Coq doesn't validate non terminating proofs.