Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro
  • Member for 9 years, 2 months
  • Last seen more than 2 years ago
Stats
295
reputation
831
reached
0
answers
2
questions
Loading…
About

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

Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
0
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 %
0
Score
1
Posts
50
Posts %
Top posts