Docs.rs
lemma-cli-0.6.3
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
lemma-cli 0.6.3
The programming language that means business.
Crate
Source
Builds
Feature flags
Size
Source code size: 126.18 kB
This is the summed size of all the files inside the crates.io package for this release.
Links
benrogmans/Lemma
5
0
13
crates.io
Dependencies
anyhow ^1.0
normal
axum ^0.7.9
normal
optional
chrono ^0.4
normal
clap ^4.0
normal
comfy-table ^7.2
normal
crossterm ^0.27
normal
inquire ^0.9
normal
lemma-engine ^0.6.3
normal
serde ^1.0
normal
optional
serde_json ^1.0
normal
optional
tokio ^1.39.2
normal
optional
tower ^0.4
normal
optional
tower-http ^0.5
normal
optional
tracing ^0.1
normal
optional
tracing-subscriber ^0.3
normal
optional
walkdir ^2.4
normal
assert_cmd ^2.0
dev
predicates ^3.0
dev
proptest ^1.4
dev
tempfile ^3.8
dev
Versions
0.8.2
(2026-03-13)
0.8.1
(2026-03-11)
0.7.3
(2026-01-28)
0.7.2
(2026-01-25)
0.7.1
(2026-01-23)
0.6.9
(2025-11-12)
0.6.6
(2025-11-12)
0.6.5
(2025-10-26)
0.6.4
(2025-10-21)
0.6.3
(2025-10-19)
Owners
lemma-cli-0.6.3 is not a library.