The Coq mailing list

[Ralf Jung <jung AT mpi-sws.org>]

Hi,

> Thanks for the suggestion.
> 
> Unfortunately when I followed the instruction I got the following
> error: Cannot find library ssreflect in loadpath
> 
> What file extension should the ssreflect library have ( I would like to
> check that it is in the folder ) ?

Please try "Require Import Ssreflect.ssreflect".

There should be a file
/opt/local/lib/coq/user-contrib/Ssreflect/ssreflect.vo.

Kind regards,
Ralf