Users
Analyzed
about 1 year
ago.
based on code collected
about 1 year
ago.
Contributions
Contributes to IPython as Samuel Lelièvre
Contributes to Coq proof assistant as Samuel Lelièvre
Contributes to Sage: Open Source Mathematics Software as Samuel Lelièvre
and 15 other projectsKudo Rank
Contributions
Contributes to Sage: Open Source Mathematics Software
Contributes to ToscaWidgets
Contributes to M4RI
and 5 other projectsKudo Rank
Kudo Rank
