Presburger arithmetic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 December 2014

23 February 2014

2 December 2013

  • curprev 18:5318:53, 2 December 2013‎ 128.84.98.181 talk‎ 8,736 bytes +8,736‎ added the name of the Coq tactic for Presburger Arithematic. Ideally, there should be a link to http://coq.inria.fr/refman/Reference-Manual023.html , but I can't figure out how to do that

27 April 2012

Retrieved from "https://en.formulasearchengine.com/wiki/Presburger_arithmetic"