Adding petra library as a dependency
Run this command in a terminal, in your project's directory:
cargo add petra
To add it manually, edit your project's Cargo.toml file and add to the [dependencies] section:
petra = "0.1.8"
The petra library will be automatically available globally.
Read the petra library documentation.