228
reputation
1
10

Rodrigo Ribeiro

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

1
answer
1
question
~2k
people reached

Top tags (6)

Score 7
Posts 1
Posts % 50
Score 7
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (11)

Gold

Silver

1

Rarest

Bronze

10

Rarest