ZZ is a modern formally provable dialect of C by from Hacker News on 2020-02-05 09:49 (#4YY0R) Comments