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)

bappymac
Md. Enamul Haque
lben85
Liam Bennett
chrisblackburn
Chris Blackburn
dgilmanmparticle
David Gilman
pawcam
Pawlos Campbell
wuming
Tony Lauro
kfing
Katie Finger
theunderdog09
John Andrews
chloebachus
Chloe Bachus
bufordk
Big Buford