-
Bitstamp
- https://www.kolman.si
Jakob Maležič
Blarc
DevOps engineer at Medius.si and a passionate developer of side projects in free time.
Medius Ljubljana, Slovenia
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen