Bruno

https://poorlydefinedbehaviour.github.io/ https://github.com/poorlydefinedbehaviour/ Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things