formally-io
| Crates.io | formally-io |
| lib.rs | formally-io |
| version | 0.2025.12 |
| created_at | 2025-12-19 13:32:30.319501+00 |
| updated_at | 2025-12-19 13:32:30.319501+00 |
| description | the open-source formal methods toolchain - input/output and parsing utilities |
| homepage | https://formally.fm |
| repository | https://github.com/formally-fm/formally |
| max_upload_size | |
| id | 1994777 |
| size | 99,820 |
Nicola Gigante (nicola-gigante)
documentation
README
::formally
The open-source formal methods toolchain
::formally is an early-stage work-in-progress project to provide an extensive and extensible toolchain for building
formal methods tools and applications.
This package contains the formally::io subcrate. This is not meant to be used directly. Instead, use the main
formally crate and enable its "io" feature.
formally = { version = "0.2025.12", features = ["io"] }
We refer to the documentation of the main formally package for details.