openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
Projects
People
Projects
Organizations
Forums
coq
Guillaume Melquiond
Orsay, France
http://www.lri.fr/~melquion/
INRIA
Account Summary
Analyzed
about 16 hours
ago
Projects Used
R
W
G
O
C
P
B
L
more
Most experienced in
coq
First commit
over 20 years ago
Most recent commit
16 days ago
Has made
8752 commits
Joined Open Hub
about 16 years ago
Contributed to
12 projects
Development History
Commits by Project
Oct 2016 - Present
Commits by Language
Oct 2016 - 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
