Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code