Proof Assistants Beta
Ricky's user avatar
Ricky's user avatar
Ricky's user avatar
Ricky
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
898
reputation
6k
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.
4
silver badges
9
bronze badges
Top tags
3
Score
4
Posts
100
Posts %
2
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
All Questions Answers
Score Newest
question
58
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
answer
2
Lean: what does the syntax `variable [ring R]` mean?
Sep 20
answer
1
How to think about writing Lean theorems
Sep 24
Top network posts
View all network posts
76
New grand projects in contemporary math
54
Theorems that are 'obvious' but hard to prove
53
Everywhere differentiable function that is nowhere monotonic
36
Breakthroughs in mathematics in 2021
31
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.