Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
a3p
on Feb 5, 2020
|
parent
|
context
|
favorite
| on:
ZZ is a modern formally provable dialect of C
Absolutely! The zz export command just dumps the C and SMT code along with makefiles for common build systems and stops there. Very handy for using it within other toolchains.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
