User contributions for 128.84.98.181

Results for 128.84.98.181 talk block log logs
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

2 December 2013

  • 17:5317:53, 2 December 2013 diff hist +8,736 N Presburger arithmetic 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
Retrieved from "https://en.formulasearchengine.com/wiki/Special:Contributions/128.84.98.181"