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