ACL's user avatar
ACL's user avatar
ACL's user avatar
ACL
  • Member for 2 years, 2 months
  • Last seen more than a month ago
Stats
233
reputation
566
reached
0
answers
2
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
4
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts