Ssreflect Users Discussion List

[Assia Mahboubi <>]

Dear Florent,

Le 19/12/2015 20:07, Florent Hivert a écrit :

> Thanks for the explanation. Everything is working now. I manage to compile 
> my
> code at <https://github.com/hivert/Coq-Combi>.

Good news! And thank you for reporting this issue.

> By the way, you may want to add
> this code to your user list. I'm not sure it makes much sense to add me to
> your organization since what I'm doing is not that mainstream, but if you 
> feel
> its a good idea, then I gladly join.

We definitively think it would be a good idea, but of course this is entirely 
up
to you!

I just sent you an invitation, hence the choice is yours. Please do not 
hesitate
to come back to us if you need more information.

Best wishes,

assia