Account Summary

  Analyzed 4 months ago

Projects Used

No projects stacked

Most experienced in
coq
First commit
almost 9 years ago
Most recent commit
4 months ago
Has made
172 commits
Joined Open Hub
over 3 years ago
Contributed to

Development History

Jun 2018 - Present
Jun 2018 - Present