Agda Presburger Save
Deciding Presburger arithmetic in agda
Project README
Deciding Presburger arithmetic in agda.
This repository contains a cleaned up version of the work done in Nottingham under Thorsten Altenkirch's supervision.
It is based on Amine Chaieb and Tobias Nipkow's formalization of a similar procedure in HOL.
Dependencies
This development has been typechecked with:
- Agda version 2.6.0.1
- the standard library v1.2
Open Source Agenda is not affiliated with "Agda Presburger" Project. README Source: gallais/agda-presburger
Stars
31
Open Issues
2
Last Commit
1 year ago
Repository
Open Source Agenda Badge
