@lmaltsis@infosec.exchange
Joined: 06/26/2025
3
Followers
23
Following
Formal Methods, Proof Assistants, Software Security
they/them
{username} has no public lists
{username} has no activity yet