interested in algebraic geometry, number theory and (more recently) proof formalization


In love with math, jazz, indian music and poetry. ⏚

FollowingFollowers
14181834