gallais / agda-presburger

Deciding Presburger arithmetic in agda
31Updated last year

Alternatives and similar repositories for agda-presburger:

Users that are interested in agda-presburger are comparing it to the libraries listed below