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

beom
Bombwhale
astredallred
Astred Allred
skorch
mark
vezhovrim
Ipatev Rodion
aberts10
Brian Aberts
skozin
Sam Kozin
wilk0
Imablackguy
drewsulem
Drew D’Agostino