Salt
A systems programming language featuring built-in Z3 theorem proving within the compiler.
CategoriesDev
Why it made the shelf
Salt is a newly introduced systems programming language with a compiler designed for software developers.
On 2 boards
- First seen
- 3 months ago
- Best score
- 44 points · 54 comments
Public trail
Where it showed up
3 references from 3 publishers.
- First trace
- Hacker News3 months ago
- Strongest thread
- Hacker News54 comments
- 01Hacker NewsFirst traceStrongest discussion
a systems language with Z3 theorem proving in the compiler