Abhimanyu Pallavi Sudhir

Stack Exchange




profile for Abhimanyu Pallavi Sudhir at Physics Stack Exchange, Q&A for active researchers, academics and students of physics profile for Abhimanyu Pallavi Sudhir at Mathematics Stack Exchange, Q&A for people studying math at any level and professionals in related fields profile for Abhimanyu Pallavi Sudhir at MathOverflow, Q&A for professional mathematicians


I speak fluent Processing.JS – some of my projects in this language are available at my github repository, abhimanyupallavisudhir/processingJS, and a gallery of them working (via a web editor) is available on Khan Academy. See above for a gallery of some of my favorite ones.

I have also began learning Lean, a computerised theorem-prover. Some of the stuff I've written in lean are available at my Github repository, abhimanyupallavisudhir/lean. Some other stuff I've written has been accepted into the mathematics library – currently:


I wrote the Kannada translation for MathJax on TranslateWiki – here's my profile.