rustio rustio.net

Decision Workspace

formally-cli

Side-by-side comparison of Rust crates

33
formally-cli
experimentalv0.2025.12

the open-source formal methods toolchain - command-line interface

Core Metrics

formally-cli
Health Score33
Total Downloads28
30d Downloads0
Dependents0
Releases1
Last Updated206d ago
Age6m

Health Breakdown

formally-cli
Maintenance
5
Quality
14
Community
4
Popularity
2
Documentation
8

Technical Details

formally-cli
Version0.2025.12
Stable (≥1.0)✗ No
Licensenon-standard
Dependencies2
Crate Size9KB
Features0
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

formally-cli detail →GitHub ↗crates.io ↗

Quick Verdict

  • •formally-cli leads with a health score of 33/100, but none of the options score above 80.