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)

jzsavoie
Julien Savoie
onceavonatime
James Welden
kookluke
Lukas Smith
kolljohnson
Koll Johnson
kristoflemmens
Kristof Lemmens
tripagain
David Tiprigan
roshangupta
Roshan Gupta
alborworld
Alessandro Bortolussi
stuartgunter
Stuart Gunter
lenkasuvakova
Lenka Suváková