Wrenna Robson

@wrenr.bsky.social

54 Followers · 7 Following

Sometime cryptographer, sometime verification nerd. I like to stare at theorem provers until my brain tingles. Lean user. EasyCrypt-curious.

Nothing here yet.