Let's solve math!

I am a pure mathematician interested in both automating mathematics research and program verification. Please reach out if you would like to collaborate!