polyhorn-cli-0.3.1
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

polyhorn-cli 0.3.1

Library with CLI for Polyhorn.

Crate
Source
Builds
Feature flags

..
polyhorn-cli.rs

1
2
3

pub fn main() {
    polyhorn_cli::cli();
}