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)

freddie
Freddie Rice
bezelya
Asli Demirel
areinoso25
Ana Reinoso
lanikweek
Andrzej Lawryn
skovalenko
Stas
fedegl
Federico Gonzalez
danielstahl
Daniel Stahl
doefler
Kim Døfler Sand Laursen
andymccown
Andy McCown
maritza05
Maritza Esparza Hernández
estellepannatier
Estelle Pannatier