126
reputation
4

Rodrigo Ribeiro

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

0
answers
1
question
~55
people reached

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest