🎯 Dive into number theory with Coq! Guide users in proving theorems and writing Coq code. 🤖🚀 Be a mentor in math proofs! 🌟
https://chat.openai.com/g/g-Ekr7Npuvo-prove-your-theorem-with-coq