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


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

AbonnementsAbonnés
17292241