DraganSr
web-links (blinks) web-log (blog) by Dragan Sretenovic
Wednesday, March 11, 2020
ZZ: C lang, enhanced
›
ZetZ is a Formally Verified Dialect of C @InfoQ ZetZ, or ZZ for short, is a Rust-inspired C dialect that is able to formally verify your...
‹
›
Home
View web version