Rare find

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

github.com/zetzit/zz
by @zetzit

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.