Elements is formal, right?
18th Century European math was much more potent than ancient Greek math, and although parts of it like algebra and geometry were, for a long time, most of it was not understood at a formal or rigorous level for a long time even if we accept the level of rigor found in Elements.
A formal proof is then one which proceeds by a series of these mechanical steps beginning with one or more premises and ending with a conclusion (or goal).
But no one actually works like this. There are varying degrees of "semiformality" and what is and isn't acceptable is ultimately a convention, and varies between subfields - but even the laxest mathematicians are still about as careful as the most rigorous physicists.
Euclid developed arithmetic and algebra through constructive geometry, which relies on our visual intuition to solve problems. Non-concrete problems were totally out of scope. Even curved surfaces (denying the parallel postulate) were byond Euclid. Notably, Elements didn't have imaginary or transcendental numbers. Euclid made no attempt to unify line lengths and arc lengths, and had nothing to say about what fills the gaps between the algebraically (geometrically!) constructible numbers.
Did he even know those gaps existed? Euclid lived around 300BC. The problem of squaring the circle had been proposed around two centuries before that (https://en.wikipedia.org/wiki/Anaxagoras#Mathematics), but I don’t think people even considered it to be impossible by that time.
Elements has pi.*
*It proves the ratio of a circle's area to the square of its diameter is constant.