formally-support 0.2025.12

the open-source formal methods toolchain - basic support functionality

Coverage
96.3%
78 out of 81 items documented17 out of 17 items with examples
Size
Source code size: 78.6 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 11.7 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 28s Average build duration of successful builds.
all releases: 16s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
Repository
crates.io
Dependencies
Versions
Owners

formally-support-0.2025.12 has been yanked.

::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.