What are...computer proofs?

[@ThomasFackrell]

This makes me very excited! This absolutely needs to be the future of mathematics

[@VisualMath]

It is exciting, yes 😄 But the state of the arts is not as good as it could be - so let us all work to improve it together ✌

[@ThomasFackrell]

@@VisualMath are you involved with any of the people who wrote the book on HoTT?

[@VisualMath]

@@ThomasFackrell No, sadly not as I come from a different area of math

[@chavita4321]

What would you call the field of computer science (or math?) that formalizes theorems for computers to prove?

[@VisualMath]

That is an excellent question. I would personally sort this into mathematical logic, but people might disagree. This also is part of homotopy type theory, artificial intelligence and symbolic computation (and many more that I am forgetting right now).

[@sequentcalc]

automated reasoning, perhaps

[@VisualMath]

@@sequentcalc Right that makes sense, but I would count that as part of AI. But again, this is just my personal take.

[@arslanrozyjumayev8484]

i think "Formal Methods in Software design" is the answer to your question, i might be wrong, though!

[@VisualMath]

@@arslanrozyjumayev8484I like that one! But I still feel like there is no single correct answer, but many correct answers. And that is nothing negative.