issues
search
zetzit
/
zz
πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k
stars
52
forks
source link
Fix repo init that doesn't export 'modules' but just a single module
#73
Closed
jwerle
closed
4 years ago
jwerle
commented
4 years ago
nvm this is all wrong
nvm this is all wrong