docs(verb): small documentation changes#67

Open

z3dev wants to merge 5 commits intopboyer:masterfrom z3dev:doc-changes-part-1

+19-5

Commits on Oct 1, 2024

Commits on Oct 20, 2024

docs(verb): added information on how to import the JS package
z3dev
committed

Commits on Oct 27, 2024