Let's solve math!

I am a pure mathematician interested in both automating mathematics research and program verification.