3 ms·use https://rocq-prover.org/ https://rocq-prover.org/ for that purposeby tsterin 3mo agouse https://rocq-prover.org/ https://rocq-prover.org/ for that purpose