A tool for automatic generation of specifications based on realizability theory
Primary LanguageTeXMIT LicenseMIT
No issues in this repository yet.