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 (13)

azylman
Alex Zylman
moneybot
hack
blackbird0
Jeffrey Kiok
gamaroff
Lorien Gamaroff
gustlitowq
gustli
jfc
Jose Fuentes
paigecache
Paige Campbell
garvizmx
Julio Vizcaino
tjbryant
TJ Bryant
isfaaghyth
Muh Isfhani Ghiath