Ssreflect Users Discussion List

[Reynald Affeldt <>]

> Do not hesitate to let us know about any problem you may encounter.

Thanks, it solved my problem (yet, just to let you know, on my side,
ssreflect1.3_v8.3/theories does not seem to be compilable with
ssreflect1.3_v8.3/bin/ssrcoq (error: fingroup.v:855), and trunk
compilation stops because it lacks orderedzint.v).
 
> Do not hesitate to send me your development by private email so that
> I can help you to port it and so that it helps me improving my
> documentation.

Thank you!