formally-support
| Crates.io | formally-support |
| lib.rs | formally-support |
| version | 0.2025.121 |
| created_at | 2025-12-19 13:32:28.076958+00 |
| updated_at | 2025-12-20 18:06:40.145563+00 |
| description | the open-source formal methods toolchain - basic support functionality |
| homepage | https://formally.fm |
| repository | https://github.com/formally-fm/formally |
| max_upload_size | |
| id | 1994776 |
| size | 79,120 |
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::support subcrate. This is not meant to be used directly.
Instead, use the main formally crate.
formally = { version = "0.2025.12" }
We refer to the documentation of the main formally package for details.