aprender-contracts-cli-0.64.0
- aprender-contracts-cli 0.64.0
- Docs.rs crate page
- MIT
- 25 August 2026
- Links
- Repository
- crates.io
- Source
- Owners
- noahgift
- Dependencies
- aprender-contracts ^0.64.0 normal
  clap ^4.5 normal
  serde_json ^1.0 normal
  serde_yaml ^0.9 normal
  tempfile ^3 dev
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module coq

aprender_contracts_cli0.64.0

Module coq

Module Items

Functions

In aprender_contracts_cli::commands

aprender_contracts_cli::commands

Module coq

Functions§

run