Computer science is the superclass over math and logic and it's existence and investigation proves without any counterargument that mathematics is discovered, not invented.
This is a fun little presentation on the topic:

https://m.youtube.com/watch?v=IOiZatlZtGU [Open]