book / structured documentation

zetzit / zz

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

MIT License

1.6k stars 52 forks source link

book / structured documentation #82

Open jwerle opened 4 years ago

jwerle commented 4 years ago

In an effort to help others get started with ZZ, we will start writing user guides in GitBook. The entries will be simple and approachable. It will target classic things like Installation & Setup, Prerequisites, Getting Started, Concepts, Hello World, Modules, Dependencies, User Space Repositories, Z3/Yices, Building, and more.

aep commented 4 years ago

havent tried gitbooks. i really like mdbooks https://github.com/rust-lang/mdBook not a strong opinion, just in case you didnt know.

jwerle commented 4 years ago

Nice I didn't know that existed. I'll check it out!

jwerle commented 4 years ago

@aep okay I like mdbook and will be sticking with it!