I suspect the semantic white space makes the Python grammar ambiguous from a theoretical standpoint. Anyone have a proof of this?

I ask as I was trying to think of how tools could be programmed to make the activity of programming easier for people with visual impairments. I think languages with clear block demarcations have advantages here.