formally-support-macros
| Crates.io | formally-support-macros |
| lib.rs | formally-support-macros |
| version | 0.2025.121 |
| created_at | 2025-12-19 13:32:25.591029+00 |
| updated_at | 2025-12-20 18:06:16.683235+00 |
| description | the open-source formal methods toolchain - basic support functionality - proc macros |
| homepage | https://formally.fm |
| repository | https://github.com/formally-fm/formally |
| max_upload_size | |
| id | 1994775 |
| size | 38,315 |
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 procedural macros exported by 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.