Agost's Site

I’m a software engineer interested in formal methods, distributed systems and cryptography. I work primarily in Rust and enjoy tinkering with Lean.