Antoine Chambert-Loir's user avatar
Antoine Chambert-Loir's user avatar
Antoine Chambert-Loir's user avatar
Antoine Chambert-Loir
  • Member for 11 years, 6 months
  • Last seen more than a month ago
Stats
381
reputation
24k
reached
1
answer
1
question
Loading…
About

Mathematician,…

Interested in Arithmetic geometry (Arakelov geometry, Berkovich spaces, Diophantine geometry) and Proof assistants (especially Lean).

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
14
Score
1
Posts
50
Posts %
14
Score
1
Posts
50
Posts %
14
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
14
Sep 26, 2012