Account Summary
Analyzed
about 3 hours
ago
Most experienced in
coq
First commit
over 17 years ago
Most recent commit
12 months ago
Has made
1156 commits
Joined Open Hub
about 10 years ago
Contributed to
Contributed to projects in
2 organizations
including:
GNU and The Linux Foundation
GNU and The Linux Foundation