Account Summary

  Analyzed 18 days ago

Projects Used

No projects stacked

Most experienced in
coq
First commit
about 10 years ago
Most recent commit
6 months ago
Has made
2907 commits
Joined Open Hub
almost 4 years ago
Contributed to

Development History

Dec 2010 - Present
Dec 2010 - Present