Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro
  • Member for 9 years, 2 months
  • Last seen more than 8 years ago
Stats
295
reputation
0
reached
0
answers
0
questions
Loading…
About

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

Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.