Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro
  • Member for 9 years, 4 months
  • Last seen more than 2 years ago
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
5
Dec 17, 2014