book / structured documentation

[jwerle]

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]

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

[jwerle]

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

[jwerle]

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