[mejutoco]

We are still in the pigsty compared to math

[Yoric]

I'd have to disagree. We're much less ambiguous than math.

In fact, according to theory, we're writing executable proofs.