::formally is a project that aims to build a comprehensive open-source framework and
toolchain to help the development of formal methods applications.
This workspace contains several crates of the ::formally project. See the main formally crate for all the information.