ACL's user avatar
ACL's user avatar
ACL's user avatar
ACL
  • Member for 13 years, 10 months
  • Last seen this week
Stats
12,732
reputation
576k
reached
147
answers
10
questions
Loading…
About

Mathematician,…

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

This user doesn’t have any gold badges yet.
58
silver badges
78
bronze badges
513
Score
63
Posts
40
Posts %
211
Score
27
Posts
17
Posts %
108
Score
9
Posts
6
Posts %
101
Score
15
Posts
10
Posts %
93
Score
15
Posts
10
Posts %
66
Score
5
Posts
3
Posts %
Top posts
View all questions and answers