brecert / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Geek Repo

Github PK Tool