formally
| Crates.io | formally |
| lib.rs | formally |
| version | 0.1.0 |
| created_at | 2025-03-17 08:11:26.210773+00 |
| updated_at | 2025-03-17 08:11:26.210773+00 |
| description | the open-source formal methods toolchain |
| homepage | https://formally.fm |
| repository | https://github.com/formally-fm/formally |
| max_upload_size | |
| id | 1595166 |
| size | 3,503 |
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 repository is only a placeholder for now. Stay tuned!