home.md

@@ -10,6 +10,17 @@ programs.
 * implementation of exemplary Elm applications
 * tooling support for verification process that documents (successful) translations and SMT answers
 
+### Participants
+
+* Bennet Bleßmann (BA): stu201758@mail.uni-kiel.de
+* David Wolff (BA): stu126216@mail.uni-kiel.de
+* Eduard Raimann (MA): stu120506@mail.uni-kiel.de
+* Kai Prott (MA): stu126209@mail.uni-kiel.de
+* Leif-Erik Krüger (BA): stu204767@mail.uni-kiel.de
+* Marvin Lira (BA): stu204529@mail.uni-kiel.de
+* Tammo Heilemann (BA): stu114663@mail.uni-kiel.de
+* Tim Weißenfels (MA): stu126998@mail.uni-kiel.de
+
 ## Roadmap
 
 1. Learning Elm by developing simple example programs