@themathematician.bsky.social
44 Followers · 49 Following
Math Graduate student at Bonn. Director of @bmuco.org (science non-profit). Math+Formalisation+AI
