formally-support 0.2.0

the open-source formal methods toolchain - basic support functionality
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# ::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.2.0" }
```

We refer to the documentation of the main [formally] package for details.

[formally]: https://crates.io/crates/formally