Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://ift.tt/RbBElhs

Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://salt-lang.dev July 1, 2026 at 08:05PM