formally-io

Activity

Total releases

1

Last 12 months

1

Cadence

—

Dependencies

5

Release mix

• formally-support ^0.2025.12
• itertools ^0.14.0
• pretty ^0.12.4
• termsize ^0.1.9
• thiserror ^2.0.12

• formally
• formally-smt