Orca2017/CONTRIBUTORS

14 lines
602 B
Plaintext

For the purposes of the license agreement in the file LICENSE, a
'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
who is listed as an author in one of the source files of this Isabelle
distribution.
Contributors to Orca
--------------------
* Yakoub Nemouchi, University of York, UK
* Peter Lammich, Technische Universität München, Germany
* Simon Foster, University of York, UK
* Burkhart Wolff, LRI, Univ. Paris-Sud, CNRS, CentraleSupélec, Université Paris-Saclay, France
* Frédéric Tuong, LRI, Univ. Paris-Sud, CNRS, CentraleSupélec, Université Paris-Saclay, France