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)
|