Ssreflect Users Discussion List

[Pierre-Yves Strub <>]

Hi,

Same for me, we the login: strub

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