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)

guadalupe22
Maria Guadalupe Cruz Hernández,
kingofcrypto
Andy Chengs
crgmrgn
Craig Morgan
rotsted
Bob Rotsted
sruzila
Steve Ruzila
mikeholmesuk
Mike Holmes
agapesnakey
Agape
aliabadi
Nicholas Nasser Aliabadi