Julia Scheaffer

Stream: new members

[Julia Scheaffer]

Hello, I am Julia Scheaffer. I am a programmer, but I enjoy mathematics as a hobby.

I am mainly interested in Programming Language Theory, Type Theory, and formal verification of programs, but I am also interested in mathematics mostly recreational math and things I learned in university such as Number Theory, Cryptography, and Linear Algebra

Currently, I am working on an attempt to formalize stack semantics using Lean type theory. You can see my current code here.