Stack Overflow
Stack Overflow

Rodrigo Ribeiro
3,198
reputation
1
18
26
  • Brazil
  • Member since October 28 2013
  • 231 profile views
  • Last seen Oct 18 '22 at 21:45

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