285
reputation
2
8
Rodrigo Ribeiro
Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!
0
answers
2
questions
~641
people reached
-
Brazil
-
Member for 5 years, 9 months
-
8 profile views
-
Last seen May 10 at 22:12
Communities (6)
Top network posts
Badges (10)
Gold
—
Silver
2
Rarest
-
Jul 4 '18
-
Nov 13
Bronze
8
Rarest
-
Mar 18 '15
-
Jul 4 '18
-
Dec 9 '15
