AUTHORS.md

Authors

This project has been developed at the Logic and Semantics group at Aarhus University.

Main Contributors

• Steffan Sølvsten: soelvsten@cs.au.dk

  PhD student, Aarhus University

• Jaco van de Pol: jaco@cs.au.dk

  PhD Supervisor, Aarhus University

• Anna Blume Jakobsen:

  Bachelor's Student and later Student Programmer, Aarhus University

• Casper Moldrup Rysgaard:

  PhD student, Aarhus University

• Erik Funder Carstensen

  Master's Student (course project), Aarhus University

• Mathias Weller Berg Thomasen:

  Bachelor's Student, Aarhus University

Minor Contributors

Thank you, to all the minor contributors to this project's codebase.

• Asger Hautop Drewsen
• Ayoub Aboutarbouch
• Jakob Schneider Villumsen
• Maxim Smolskiy
• Sai Rugveth Vankayala

Acknowledgements

Thanks to the following wonderful people for their contributions by sharing and discussing ideas.

• Gerth Stølting Brodal
• Lars Arge
• Mathias Rav