Computer Science Stack Exchange
Computer Science Stack Exchange

Rodrigo Ribeiro
283
reputation
1
10
  • Brazil
  • Member since March 20 2015
  • 14 profile views
  • Last seen Jan 15 '25 at 13:44

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