Skip to main content
ACL's user avatar
ACL's user avatar
ACL's user avatar
ACL
  • Member for 3 years, 6 months
  • Last seen more than 3 years ago
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.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts