All Questions

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: Are there limitations on the kinds of proofs ...