Lieber Makarius, lieber Tobias, sagt mal, sind Eure slots fuer den Isabelle Workshop schon voll ?
Da das ganze recht informell sein soll und Originalität der Arbeiten nicht unbedingt ein Kriterium sind, waer ich bereit, unser Isabelle_C papier auf dem Workshop vorzutragen und ein youtube demo zu machen. Falls das von Interesse ist. bu [Ich konnte zur deadline des workshops unmöglich noch ein anderes Papier machen - sorry] _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
