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)

cequazeg
Zoltan Kovacs
colinhoernig
Colin Hoernig
bigian2002
Ian Brown
nullbytes
Colin Stubbs
eslowek
Elanta Slowek
adlerweb
Florian Knodt
weirddude
Mr. Clean
remi_goget
Rémi Goget
rudyng
Rudy Ng