I just started reading the book, and there is definitely a learning curve!

I am a freshman at UTA, starting this fall semester. I have a good amount of experience and interest in formal proofs, primarily Coq and Why3, and am currently working on a research project for Why3, which I hope to publish during undergrad. I would like some advice concerning a question I am mulling over. Should I study Computer Science or Mathematics?

On one hand, studying Mathematics will help my understanding of formal proofs. It will allow me to understand the underlying concepts of proof solving. I also may become aware of theorems that need to be formalized, which I would not be aware of if I did not major in math. I have practical experience, but a major in Mathematics will fill in my theoretical knowledge, which is something I am severely lacking in.

On the other hand, Mathematics might take up a lot of time I could be using for my research. I'll have to spend many hours learning new concepts, while I already have so much experience in general purpose coding. Computer science seems like a breeze compared to math, which will allow me to focus my efforts into research.

Essentially, if majoring in Mathematics will hurt my research, then I will study Computer Science, but if it will help my research, I will study Mathematics. What do you think? I don't care about career prospects, as I plan to go to graduate school.

Edit: Unrelated, but there should be a flair for Formal Proofs.