Account Summary

  Analyzed about 1 hour ago
Most experienced in
coq
First commit
almost 14 years ago
Most recent commit
over 4 years ago
Has made
1299 commits
Joined Open Hub
over 6 years ago
Contributed to
Contributed to projects in
3 organizations including:
The Linux Foundation, Mozilla Foundation, and Osmocom

Development History

Nov 2013 - Present
Nov 2013 - Present