3 ms·
If you're interested in a C/Rust-level language which supports verification, maybe take a look at ATS http://www.ats-lang.org http://www.ats-lang.org
by chriswarbo 6y ago
If you're interested in a C/Rust-level language which supports verification, maybe take a look at ATS http://www.ats-lang.org http://www.ats-lang.org