search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Added editor support info #95

Closed damon-kwok closed 4 years ago

damon-kwok commented 4 years ago

This PR changed README.md file and Added editor suport info.

editor support