The Gaia software was initially developed by José Grimm, who died in August 2019.
The main description of the Gaia software is visible at http://www-sop.inria.fr/marelle/gaia/index.html
This software is the property of Inria and is made avaiable under the terms of the MIT License.