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

• Posted 3 months ago by bneb-dev
• 44 points