Rodrigo Ribeiro
295
reputation
2
8
Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!