gallais / agda-presburgerLinks

Deciding Presburger arithmetic in agda
32Updated 2 years ago

Alternatives and similar repositories for agda-presburger

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

Sorting: