195
reputation
1
8

Rodrigo Ribeiro

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

0
answers
2
questions
~565
people reached

Top tags (7)

Score 0
Posts 1
Posts % 50
Score 0
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 (9)

Gold

Silver

1

Rarest

Bronze

8

Rarest