formalizable area?

Stream: new members

[Byung-Hak Hwang]

I have a (perhaps silly) question.
As a beginner, formalizing mathematics in topology or geometry seems harder than formalizing in areas like analysis or algebra.
I'm working on combinatorics and representation theory, and I feel the mathematical statements in my field somewhat easier to formalize.
Of course, the difficulty likely depends on the specific statement, but are there areas of mathematics that are generally easier or harder to formalize compared to others?

[Kevin Buzzard]

I think there's only areas of maths where we haven't had enough practice yet.

[Byung-Hak Hwang]

Kevin Buzzard 말함:

I think there's only areas of maths where we haven't had enough practice yet.

A great answer for the silly question. Thank you!