Skip to main content
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, 8 months
  • Last seen more than 7 years ago
Stats
381
reputation
0
reached
0
answers
0
questions
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
1
bronze badge
Posts

This user hasn’t posted yet.