4 ms·No. If you expect Coq to do actual work for you, that will not work out well.by auggierose 6y agoNo. If you expect Coq to do actual work for you, that will not work out well.