I agree. I do proofs and write small programs in coq regularly. I've spent most of my professional life as a web developer. As with everything learning to do

I agree. I do proofs and write small programs in coq regularly. I've spent most of my professional life as a web developer. As with everything learning to do proofs and learning to use Coq are a matter of time, effort, and access to good documentation and other resources.