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 a surprising number of neuroscience-adjacent projects over the years.


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