user avatar
Gregor Mitscha-Baude
@mitschabaude
Co-founder @zksecurityXYZ Math & crypto. Agentic coding addict. TypeScript magician. Lean4 enthusiast.
Wien
github.com/mitschabaude
Joined February 2021
1,461
Following
1,393
Followers
@mitschabaude hasn’t posted
When they do, their posts will show up here.