User contributions for 128.84.98.0/24
Results for 128.84.98.0/24 block log
2 December 2013
- 18:5318:53, 2 December 2013 diff hist +8,736 N Presburger arithmetic 128.84.98.181 talk 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
3 September 2013
- 18:2818:28, 3 September 2013 diff hist +2,595 N Long code (mathematics) 128.84.98.19 talk No edit summary