Sign in Sign up

cargo

formally

The open-source formal methods toolchain

Activity

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

Reach

Downloads: 909
Stars: 4

Details

License: unknown
First release: Mar 17, 2025

Releases

Version	Released
`0.2.0` minor	Aug 28, 2026
`0.2025.121` unknown	Dec 20, 2025
`0.2025.12` unknown	Dec 19, 2025
`0.1.0` unknown	Mar 17, 2025

Repository

formally-fm/formally

Forks: 0
Open issues: 0
Language: Rust

Dependencies (5)

Depends on

0.2.0

Used by

1

Supply-chain exposure

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

Insights

Releases per month

last 12 months

Release mix

minor 1
unknown 3

4 releases

Dependencies over time

per release

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More