Automata Tutor v3

Automata Tutor is experiencing technical problems

The base of the new frontend is ready. We are in the process of adding all exercises to it.

For the rest of 2024, there will be two instances of Automata Tutor:

• This one: https://automata-tutor.model.in.tum.de/ with all exercises, but unstable (most annoyingly often throwing Proxy errors).
• The new one: https://automata-tutor.live-lab.fi.muni.cz/

We hope that the new version will be feature-complete by the end of 2024, at which point we would take the old version offline.
However, seeing that the development of Automata Tutor always takes longer than we expect, don't take our word for it.

Because we are still in a phase where we need to establish basic decisions about software architecture, we keep the development
closed. Eventually, we want to go open source, allowing all of you to contribute with new features or exercises, as well as to run
your own instance of Automata Tutor (so as to not depend on our technical support and the limited computing power of our servers).