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.
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.