Mise à jour de gitlab mardi 16 avril, entre 14h et 16h. Prevoyez de multiples (brèves) interruptions de service !
Builds the docker image that runs on spot-sandbox.lrde.epita.fr.
Online application for rewriting LTL formula or translating them into automata.
