285
reputation
2
8

Rodrigo Ribeiro

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

0
answers
2
questions
~629
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)

Badges (10)

Gold

Silver

2

Rarest

Bronze

8

Rarest