presburger-arithmetic topic
List
presburger-arithmetic repositories
agda-presburger
31
Stars
3
Forks
Watchers
Deciding Presburger arithmetic in agda
