ELPI is copyright 2014-2017 by:
- Claudio Sacerdoti Coen [email protected]
- Enrico Tassi [email protected]
Patricia trees (elpi_ptmap.ml) is copyright by Jean-Christophe Filliatre.
We thank the following people for their contributions to ELPI:
- Cvetan Dunchev
- Ferruccio Guidi
- Marco Maggesi