This website is part of a group project for the Logical Aspects of Multi-Agent Systems MSc course 2022 by the University of Groningen.

This project has been developed by

Matthew Melcherts

Ludwig Sickert

Thijs Visee

The GitHub repository for this project can be found here