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
Alexsander Akers

Followers (6)

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

Browse others (15)

sz
Sรถnmez Kartal
ctrlaltdfeat
Joey Kleingers
arvundah
ovuns crispy
ekini
Eugene Dementyev
nikosbentenitis
Nikos Bentenitis
loganwendt
Logan Wendt
ledeic
Lady Elizabeth Devaynes
sammaryrm
๐Ÿฅฐ๐Ÿ˜๐Ÿ˜˜๐Ÿ˜˜
dirgotii
Jinxiao Zang
mattardz
Matt Telker