Patrick Devaney @patrickdevaney.bsky.social · 07/10/2026Hopefully this will be a good time to be in formal verification 🤞 050
