Evgenia Karunus

Welcome! This is my blog.
I've been programming for years, I'm into open-source and I created memcode. 
At the moment I'm mainly contributing to Lean/Mathlib. I've also done some neuroscience-adjacent projects.

Here's my Github and Twitter.
And welcome to contact me at lakesare@gmail.com.