ACL's user avatar
ACL's user avatar
ACL's user avatar
ACL
  • Member for 12 years, 5 months
  • Last seen more than a week ago
Stats
12,474
reputation
531k
reached
146
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.
56
silver badges
75
bronze badges
504
Score
63
Posts
40
Posts %
210
Score
27
Posts
17
Posts %
104
Score
9
Posts
6
Posts %
99
Score
15
Posts
10
Posts %
91
Score
15
Posts
10
Posts %
63
Score
13
Posts
8
Posts %
Top posts
View all questions and answers