use https://rocq-prover.org/ for that purpose