::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 repository is only a placeholder for now. Stay tuned!