Skip to main content
Proof Assistants Beta
Ricky's user avatar
Ricky's user avatar
Ricky's user avatar
Ricky
  • Member for 2 years, 7 months
  • Last seen more than a week ago
Profile Activity
Stats
1,008
reputation
9k
reached
2
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.
5
silver badges
12
bronze badges
Top tags
4
Score
4
Posts
100
Posts %
3
Score
2
Posts
50
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
66
What are the main differences between Coq and Lean?
Feb 9, 2022
question
18
What does the "motive is not type correct" error mean in Lean?
Mar 16, 2022
answer
3
Lean: what does the syntax `variable [ring R]` mean?
Sep 20, 2023
answer
1
How to think about writing Lean theorems
Sep 24, 2023
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
40
Breakthroughs in mathematics in 2021
31
Math French Words