Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
Rodrigo Ribeiro
  • Member for 7 years, 2 months
  • Last seen more than a month ago
Stats
283
reputation
2k
reached
1
answer
1
question
Loading…
About

Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!

This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %