/hpl-specs

High-Level Property Specification Language

Primary LanguagePythonMIT LicenseMIT

Stargazers