Ssreflect Users Discussion List

[Assia Mahboubi <>]

Hello Pierre-Yves,

thank you for your request!

Le 19/12/2015 13:12, Pierre-Yves Strub a écrit :

> Same for me, we the login: strub

You have been added to the group of Mathematical Components members.

Do not hesitate to advertise the projects you mirror on the organisation by
sending a short message on the ssreflect mailing list.

Best,

assia

> 
> Best,
> -- Pierre-Yves.
> 
> 2015-12-18 18:42 GMT+01:00 Ilya Sergey 
> <>:
>> Dear Enrico.
>>
>> I would like to request a membership in the group, so I could mirror the
>> sources of my short Coq/Ssreflectcourse (http://ilyasergey.net/pnp/) in the
>> MathComp project and host some future Ssreflect-powered projects.
>>
>> My GitHub username s ilyasergey.
>>
>> Thanks!
>>
>> On Fri, Dec 18, 2015 at 2:06 PM Enrico Tassi 
>> <>
>>  wrote:
>>>
>>> We are pleased to announce that the development of the Mathematical
>>> Components library now happens in the public and takes advantage of
>>> github's organization system.
>>> The purpose of such organization is to create a synergy between the
>>> Mathematical Components library and its ecosystem of related projects.
>>>
>>> The homepage [1] is now hosted by the github.io service, and the main
>>> archive [2] is available as a git repository in the organization space
>>> [3].
>>> We accept bug reports and pull requests via the standard github interface.
>>>
>>> Users of the library are encouraged to join the organization and place (or
>>> mirror) their projects in the organization name space.
>>> The immediate gain is discoverability.
>>> The more long term deal we propose is that the impact of non backward
>>> compatible changes in the Mathematical Components library will be
>>> carefully
>>> assessed on all the mature projects part of the organization.
>>> In exchange we expect members of the organization to actively maintain
>>> their code when a breaking change is applied or a patch is proposed.
>>>
>>> The organization hosts a wiki [4] for exchanging tips and tricks, gotchas,
>>> good practices, etc.
>>>
>>> The ssreflect mailing list [5] shall serve as the privileged communication
>>> channel between the organization members. Contact us on this channel to
>>> join the organization or to get write access to the wiki.
>>>
>>> --
>>> The Mathematical Components team
>>>
>>> [1]: http://math-comp.github.io/math-comp/
>>> [2]: https://github.com/math-comp/math-comp
>>> [3]: https://github.com/math-comp/
>>> [4]: https://github.com/math-comp/wiki/wiki
>>> [5]: https://sympa.inria.fr/sympa/info/ssreflect