Account Summary

  Analyzed about 11 hours ago
Most experienced in
coq
First commit
over 18 years ago
Most recent commit
about 2 years ago
Has made
1171 commits
Joined Open Hub
about 11 years ago
Contributed to
Contributed to projects in
2 organizations including:
GNU and The Linux Foundation

Development History

Jun 2018 - Present
Jun 2018 - Present