ACL
-
Member for 13 years, 11 months
-
Last seen more than 2 years ago
-
Twitter
-
Université Paris Cité (Paris 7)
Stats
12,752
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
View all badges
This user doesn’t have any gold badges yet.
13
-
Yearling
× 13Apr 15, 2023
1
-
AutobiographerNov 1, 2016
Posts
This user hasn’t posted yet.