Computer Science Stack Exchange
Computer Science Stack Exchange

Rodrigo Ribeiro
283
reputation
1
10
  • Brazil
  • Member since March 20 2015
  • 9 profile views
  • Last seen Feb 11 '22 at 15:12

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