-
CNRS, ENS Lyon
- France
- http://perso.ens-lyon.fr/damien.pous/
Earned achievements
Pull Shark
x2
Pull Shark
x2

Pull Shark
x2@damien-pous opened pull requests that have been merged.
History
Bronze unlocked
·
First unlocked
2016-02-02 08:13:13 UTC
ocaml/opam-repository#5535 · 2nd pull request merged
coq/opam#1831 · 16th pull request merged
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading