ELPI is copyright 2014-2024 by:
- Claudio Sacerdoti Coen [email protected]
- Enrico Tassi [email protected]
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