Wrenna Robson
@wrenr.bsky.social
Sometime cryptographer, sometime verification nerd. I like to stare at theorem provers until my brain tingles. Lean user. EasyCrypt-curious.
Excited at how I've grown to be a pretty reliable and regular contributor to bits of MathLib. Just merged a patch I worked on making it easier to work with the unit subgroups of submodules.
February 14, 2024 at 1:01 PM
Excited at how I've grown to be a pretty reliable and regular contributor to bits of MathLib. Just merged a patch I worked on making it easier to work with the unit subgroups of submodules.
Already got an account on here but that's more of a screaming into the internet void account. I intend to use this for professional/research-orientated stuff.
February 6, 2024 at 8:09 PM
Already got an account on here but that's more of a screaming into the internet void account. I intend to use this for professional/research-orientated stuff.