So i recently learnt that there is now a certain software called ''Coq'' by which one can check the validity of mathematical proofs. My questions are:
1.) Are there limitations on the kinds of proofs that Coq can verify?
2.) How long on average does Coq take to verify a proof?
3.) Do math journals use Coq?
4.) How do I go about it if I want to verify a proof using Coq?
Are there limitations on the kinds of proofs that Coq can verify?
How long on average does Coq take to verify a proof?
Do math journals use Coq?
How do I go about it if I want to verify a proof using Coq?