Account Summary

  Analyzed 6 minutes ago
Most experienced in
coq
First commit
about 15 years ago
Most recent commit
over 5 years ago
Has made
1322 commits
Joined Open Hub
almost 8 years ago
Contributed to
Contributed to projects in
3 organizations including:
The Linux Foundation, Mozilla Foundation, and Osmocom

Development History

Jan 2015 - Present
Jan 2015 - Present