Account Summary

  Analyzed 1 day ago
Most experienced in
coq
First commit
over 16 years ago
Most recent commit
5 months ago
Has made
1269 commits
Joined Open Hub
over 9 years ago
Contributed to
Contributed to projects in
2 organizations including:
GNU and The Linux Foundation

Development History

Sep 2016 - Present
Sep 2016 - Present