A tool for automatic generation of specifications based on realizability theory
Primary LanguageTeXMIT LicenseMIT