openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
coq
erikmd
Account Summary
Analyzed
12 months
ago
Projects Used
No projects stacked
Most experienced in
coq
First commit
over 8 years ago
Most recent commit
12 months ago
Has made
157 commits
Joined Open Hub
about 3 years ago
Contributed to
7 projects
Development History
Commits by Project
Jan 2018 - Present
Commits by Language
Jan 2018 - Present
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree
