2 ms·

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