summaryrefslogtreecommitdiff
path: root/COPYRIGHT
blob: 4609c16724fff68ef0e5ef17bfb18dc36c90b942 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
                     The Coq proof assistant

Copyright 1999-2011 The Coq development team, INRIA, CNRS, University
Paris Sud, University Paris 7, Ecole Polytechnique.

This product includes also software developed by
  Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
  Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
  Claudio Sacerdoti Coen, HELM, University of Bologna (plugins/xml)
  Pierre Corbineau, Radbout University, Nijmegen (declarative mode)
  John Harrison, University of Cambridge (csdp wrapper)

The file CREDITS contains a list of contributors.
The credits section in the Reference Manual details contributions.