[cgopalan]

Sorry I did not word my question properly regarding my experience. I clarified in a later comment. I have worked on multiple languages like C#, Java, Clojure and have deployed code to production in all of them. Python is just my language of choice to reach for to solve a problem. I have no misgivings that it could be used for all problems.

I have also familiarized myself with formal verification and proof assistants. They are in the class of "weekend projects to get myself familiar with them but I dont see myself putting them into practice right away". I do love functional programming and most of the Python code I write has a functional style, since I have experienced immense benefits with that.