GitHub repository: thomaspeyrucain/agimus-demos
Description: Description of the environments for the AGIMUS demos.