Account Summary

  Analyzed 22 minutes ago

Projects Used

No projects stacked

Most experienced in
coq
First commit
over 5 years ago
Most recent commit
over 5 years ago
Has made
7 commits
Joined Open Hub
over 5 years ago
Contributed to

Development History

Nov 2017 - Present
Nov 2017 - Present