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)

brettcvz
Brett van Zuiden
kolizz
Stefan Lindbohm
lumi_nescence
Lumia Vuohkku
dxd
gochito
Gerardo
mespel
Marianne Espeland
justinapos
Justina Poskeviciute
vyscond
Ramon Moraes
przemo_elliptic
Przemysław Michalak
actoplovod
Adrian Nowak
salvo
Salvatore Greco
jonatanpedrosa
Jonatan