3 ms·
If there's anything I learned it is to be wary of any easy answers or definitive claims when it comes to software correctness.
by pron 6y ago
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 6y agoAre you interested in helping kickstart interest into formal verification of zig? My contact info in profile.