https://github.com/gallais/agda-presburger

Deciding Presburger arithmetic in agda
https://github.com/gallais/agda-presburger

agda decision-procedure formalization presburger-arithmetic

Last synced: 23 days ago
JSON representation

Deciding Presburger arithmetic in agda

• Host: GitHub
• URL: https://github.com/gallais/agda-presburger
• Owner: gallais
• License: other
• Created: 2012-07-08T11:20:25.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2019-12-23T09:38:54.000Z (almost 5 years ago)
• Last Synced: 2023-03-24T18:34:48.212Z (over 1 year ago)
• Topics: agda, decision-procedure, formalization, presburger-arithmetic
• Language: Agda
• Homepage:
• Size: 155 KB
• Stars: 28
• Watchers: 4
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project