The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

On 12/02/2014 05:28 AM, Georges Gonthier wrote:
>    If you really need this particular feature, you might want to consider the 
> Ssreflect plugin. Ssreflect tactics generally accept Coq integers along Caml 
> ones; in particular it is possible to compute iteration counts (as in do 
> N!tactic), occurrence selectors (set x := {+N}y), and subgoal selectors 
> (tac1; first N [tacN]).
>   -- Georges

I will try ssreflect.  I am using the trunk version of Coq, so I note 
that the latest ssreflect sources are at: 
https://gforge.inria.fr/scm/viewvc.php/trunk/Saclay/Ssreflect/?root=coq-contribs. 
However - how is this downloaded?  It doesn't work to git clone that 
address, or use it as an svn source repository.

- -Jonathan