Repository navigation
What's Changed
Original FormaLLM repository at the time of TLA+ Synthesis paper writing. This release is packaged for archival purposes and reproducibility. Results from the paper are not stored in the repository and can be provided upon request. A major version refactor will follow this version release.
Full Changelog: https://github.com/LUC-FMitF/FormaLLM/commits/v1.0.0