Sign in Sign up

cargo

formally-smt

Latest release: Dec 20, 2025
Releases: 2
Known CVEs: 0
First release: Dec 19, 2025
License: non-standard

Insights

Activity

Total releases: 2
Last 12 months: 2
Cadence: ~daily
Dependencies: 12

Releases per month

last 12 months

Release mix

unknown 2

2 releases

Dependencies

Depends on

0.2025.121

derive_more ^2.0.1
formally-io ^0.2025.12
formally-smt-macros ^0.2025.121
formally-support ^0.2025.12
itertools ^0.14.0
linkme ^0.3.35
paste ^1.0.15
rpds ^1
rug ^1
thiserror ^2.0.17

1–10 of 12

Used by

2

Releases

Version	Released
`0.2025.121` unknown	Dec 20, 2025
`0.2025.12` unknown	Dec 19, 2025

Release calendar

2026

S M T W T F S

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec