Hacker News new | ask | show | jobs
by dnautics 1919 days ago
Are you interested in helping kickstart interest into formal verification of zig? My contact info in profile.