aspiwack
Arnaud Spiwack
Multi-classed Software Engineer/Constructive Mathematician My interests include: - Dependent Type Theory - Dependently Typed Programming - Functional Programming - Programming & Mathematical Foundations - Programming Language theory
Start a chat
Your conversation will be end-to-end encrypted.

Following (0)

Followers (1)

mboes
Mathieu Boespflug

Browse others (15)

timmgroves
Tim Groves
faysalm
electo
wielkipiec
Mietek Tarski
jessicaa
Jessica
aakingjosh
Prince Olaosebikan Seun Josh
haohailong
Hailong Hao
patogorin
Patricio Gotin
josephglanville
Joseph Glanville
tannerite
Tannerite Rig
shudsonstackctco
Steve Hudson
cumpsd
David Cumps