/agda-presburger

Deciding Presburger arithmetic in agda

Primary LanguageAgdaOtherNOASSERTION

Watchers