Account Summary

  Analyzed 5 days ago
Most experienced in
coq
First commit
over 11 years ago
Most recent commit
about 2 years ago
Has made
1276 commits
Joined Open Hub
over 4 years ago
Contributed to
Contributed to projects in
3 organizations including:
The Linux Foundation, Mozilla Foundation, and Osmocom

Development History

Sep 2011 - Present
Sep 2011 - Present