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 (13)

mehdig
Mehdi Ghazizadeh
natsabari
spacescan.io
louis_bloom
2Trix4real
rendhalver
Pete Brown
retepeklo
Skavronskiy Akentiy
qilili
Lili Qi
helix77
Jelle Kalf
annari
Yunasson Hanna
nevamzhanahaba23
Harchenko Markian
nyukalkafongis
Selifontov Avraam