codafi
Robert Widmann
Type Theory and Programming Languages
Pittsburgh, PA
Start a chat
Your conversation will be end-to-end encrypted.

Following (3)

c0deh4cker
C0deH4cker
tonyarnold
Tony Arnold
a2
Alex Akers

Followers (6)

danielctull
Daniel Tull
samritchie
Sam Ritchie
tonyarnold
Tony Arnold
kjcolley7
Kevin Colley
twk
Tim Kersey
a2
Alex Akers

Browse others (14)

claudiobuetter
Claudio
lealie
leslie
robi42
Robert Thurnher
takasakiy_sic
Yumiko Takasaki
joerghallbauer
Joerg Hallbauer
flyingsaucer8834
Deepak Bapat
arafo
Rafa Marcén
smol
Robin
dev_juliocesar
julio cesar maldonado
biowolf
Fabien Z.