Stack Overflow
Stack Overflow

Rodrigo Ribeiro
3,158
reputation
1
17
25
  • Brazil
  • Member since October 28 2013
  • 211 profile views
  • Last seen Jun 05 '22 at 00:26

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