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)

tertius
Tertius Carstens
zigoo0
Ebrahem Hegazy
de71mbrak
Destiny Brak
nazmul9
Md.Nazmul Hassan
maurimtl
Mauricio Idarraga
themanoirish
Michael Carson
rickd2p
Rick Disspain
davemax
Dave Max