ELPI is copyright 2014-2024 by:
  - Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
  - Enrico Tassi <Enrico.Tassi@inria.fr>

Patricia trees (elpi_ptmap.ml) and persistent arrays (part of Bl.ml) are
copyright by Jean-Christophe Filliatre.

We thank the following people for their contributions to ELPI:
  - Cvetan Dunchev
  - Ferruccio Guidi
  - Marco Maggesi
  - Davide Fissore
