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)

emeaguiar
Mario Aguiar
benjinus
Benjamin Noel
1diabla
1diabla
zaazivaptek
Klushin Zoil
pranil
Pranil Maharaj
vyuaknobbibke
Zelenaya Mariya
burdandrei
Andrei Burd
masch
Mark Schmale