This repository was archived by the owner on Jun 17, 2022. It is now read-only.
Repository navigation
This repository was archived by the owner on Jun 17, 2022. It is now read-only.
book / structured documentation #82
Description
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.
Activity
aep commentedon Jun 25, 2020
havent tried gitbooks. i really like mdbooks https://github.com/rust-lang/mdBook
not a strong opinion, just in case you didnt know.
jwerle commentedon Jun 25, 2020
Nice I didn't know that existed. I'll check it out!
[-]GitBook[/-][+]book / structured documentation[/+]jwerle commentedon Jul 22, 2020
@aep okay I like mdbook and will be sticking with it!