All Categories → No Category → presburger-arithmetic

Top 1 presburger-arithmetic open source projects

agda-presburger

Deciding Presburger arithmetic in agda

✭ 26

Agda agda formalization decision-procedure presburger-arithmetic

1-1 of 1 presburger-arithmetic projects