Ssreflect Users Discussion List

[Cyril Cohen <>]

Hi,

On 16/04/2014 15:07, Laurent Théry wrote:
> On 04/16/2014 02:28 PM, Pierre-Yves Strub wrote:
>> You have a "work in progress" in multinom.v (by Cyril if my memory is 
>> good).
>> I also started few weeks ago to write some lib. about them for my own 
>> needs,
>> but this is quite fresh code.
>>
>  would be great to have such a library


I completely agree. I apologize that I dropped the development of this library
when I realized I had no short term use of it.

But I still have the will to finish what I began,
… and the more the merrier :)

Cheers,
-- 
Cyril