Abhimanyu Pallavi Sudhir 

Profiles


Stack Exchange
GithubI 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 theoremprover. 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: TranslationsI wrote the Kannada translation for MathJax on TranslateWiki – here's my profile. 

EMAIL: [email protected] 