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)

begayeburke99
Begaye Burke
adambilsing
Adam Bilsing
mattmcfarland
Matt McFarland
eduardw
Eduard
luongphucnguyen5
luong cuong
joelmartinez
Joel Martinez
tpoisot
Timothée Poisot
nbartlett
Neil Bartlett
mechanicus
B. L.
cassiesnyder
Cassie S
davrik
davrik