Proof Assistants Beta
Ricky's user avatar
Ricky's user avatar
Ricky's user avatar
Ricky
  • Member for 1 year, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
733
reputation
4k
reached
0
answers
2
questions
Communities
View all
About

I'm a maître de conférences at the University of Paris 7. I am interested in arithmetic geometry, especially the theory of p-adic modular forms.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
8
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
46
What are the main differences between Coq and Lean?
Feb 9, 2022
question
16
What does the "motive is not type correct" error mean in Lean?
Mar 16, 2022
Top network posts
View all network posts
76
New grand projects in contemporary math
53
Everywhere differentiable function that is nowhere monotonic
53
Theorems that are 'obvious' but hard to prove
36
Breakthroughs in mathematics in 2021
30
Math French Words

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.