Dafny Language Server Redesign als Studienarbeit

Der Inhalt dieses Projekts wird bis Ende Februar aufgeschaltet.