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