ROIpad ← Back to Search
news.ycombinator.com › comment

Comment on: Show HN: Salt – a systems language with Z3 theorem proving in the compiler

by Eridrus
Posted: Jul 2, 2026
Why not use Verus?It augments Rust with Z3 and is not a pile of unverified slop.
View Discussion ↗
Discussion Thread
Parent Entity
Show HN: Salt – a systems language with Z3 theorem proving in the compiler
Points: 41 • Comments: 31
Posted: Jul 1, 2026
Other Comments / Reviews