presburger-arithmetic topic

List presburger-arithmetic repositories

agda-presburger

31
Stars
3
Forks
Watchers

Deciding Presburger arithmetic in agda

verified publisher icon gallais