[pron]

If there's anything I learned it is to be wary of any easy answers or definitive claims when it comes to software correctness.

[dnautics]

Are you interested in helping kickstart interest into formal verification of zig? My contact info in profile.