Kudos
Ranked 838 of 2213531.
Ranked 838 of 2213531.
Kudos Received
|
Serge Ziryukin |
|
Peter Lemenkov |
|
|
Julien Signoles |
|
|
Jean-Christophe Filliatre |
|
|
zoggy |
|
|
Yoric |
|
|
Nicolas Cannasse |
|
|
Vladimir Shabanov |
|
|
Nicolas Pouillard |
|
Matt O'Connor |
|
|
graydon |
|
|
jjstwerff
(for OCaml)
|
Kudos Given
|
|
herbelin (Coq proof assistant)
(for Coq proof assistant)
|
Copyright
©
2013
Black Duck Software, Inc.
and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a
Creative Commons Attribution 3.0 Unported License
. Ohloh
®
and the Ohloh logo are trademarks of
Black Duck Software, Inc.
in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.