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.
Very much agree with this.
February 14, 2024 at 1:05 PM
Very much agree with this.
I just really enjoy working in Lean 4 - it really has everything I enjoy in a language. I ought to properly try Agda at some point though I understand that's more for serious type theory heads.
February 14, 2024 at 1:03 PM
I just really enjoy working in Lean 4 - it really has everything I enjoy in a language. I ought to properly try Agda at some point though I understand that's more for serious type theory heads.