Sign in Sign up

cargo

formally-support

The open-source formal methods toolchain

Activity

Latest release: 2w ago
Total releases: 3
Cadence: ~4 months
Last 12 months: 3

Reach

Downloads: 766
Stars: 4

Details

License: unknown
First release: Dec 19, 2025

Releases

Version	Released
`0.2.0` initial	Aug 28, 2026
`0.2025.121` unknown	Dec 20, 2025
`0.2025.12` unknown	Dec 19, 2025

Repository

formally-fm/formally

Forks: 0
Open issues: 0
Language: Rust

Dependencies (7)

Depends on

0.2.0

Used by

5

Supply-chain exposure

5 tracked projects depend on this, <1% of every package we track.

Insights

Releases per month

last 12 months

Release mix

unknown 2

3 releases

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More