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)

yoda_
Yoda
agios
Alexandros Giouzenis
tdebarochez
Thomas de Barochez
peternagy
Péter Nagy
halhafner
Hal Hafner
tajanos
Darius
steffenroehn
Steffen Roehn
mdmytr
Maryna Dmytryshyn
signoiidx
Signo Hacka
jeronimorukjaj
Cibor Nowak
hussainshah
syed hussain shah