given the crackpot proofs received by coq-club, i imagine it would indeed