lemma-0.8.20
- lemma 0.8.20
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- anyhow ^1.0 normal
  ariadne ^0.6 normal
  axum ^0.8.8 normal
  chrono ^0.4 normal
  clap ^4.0 normal
  indexmap ^2.0 normal
  inquire ^0.9 normal
  lemma-engine =0.8.20 normal
  lemma-openapi =0.8.20 normal
  notify ^8 normal
  notify-debouncer-mini ^0.7 normal
  rust_decimal ^1.33 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  serde_urlencoded ^0.7 normal
  strip-ansi-escapes ^0.2 normal
  super-table ^1.1.1 normal
  tokio ^1.39.2 normal
  tower ^0.5 normal
  tower-http ^0.6 normal
  tower-lsp ^0.20 normal
  tracing ^0.1 normal
  tracing-subscriber ^0.3 normal
  walkdir ^2.4 normal
  assert_cmd ^2.0 dev
  criterion ^0.8 dev
  predicates ^3.0 dev
  proptest ^1.4 dev
  reqwest ^0.13 dev
  tempfile ^3.8 dev
- Versions
- 50% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

lemma_cli0.8.20

Crate Items

Constants
Functions

List of all items

Functions

deps::dependency_cache_file
deps::dependency_identifier_from_dependency_path
deps::lemma_deps_dir
deps::relative_dependency_cache_path

Constants

deps::LEMMA_DEPS_DIR_NAME