PROS Lab
PROSLab
University of Camerino, Computer Science Department, Via Madonna delle Carceri, 9, 62032 Camerino MC
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Jean-Charles Roger
jeancharles-roger
I'm a research engineer with the passion to build tools for others.
Brest, France
Lukas Renggli
renggli
Dart, Kotlin, Java, TypeScript, JavaScript, Python, Smalltalk
Zurich, Switzerland
Nicolas Petton
NicolasPetton
Software engineer, passionate about the Web, Lisp, Smalltalk and Emacs.
Brest, France