| ... | ... | @@ -10,7 +10,7 @@ programs. |
|
|
|
* implementation of exemplary Elm applications
|
|
|
|
* tooling support for verification process that documents (successful) translations and SMT answers
|
|
|
|
|
|
|
|
### Participants
|
|
|
|
## Participants
|
|
|
|
|
|
|
|
* Bennet Bleßmann (BA): stu201758@mail.uni-kiel.de
|
|
|
|
* David Wolff (BA): stu126216@mail.uni-kiel.de
|
| ... | ... | @@ -21,6 +21,13 @@ programs. |
|
|
|
* Tammo Heilemann (BA): stu114663@mail.uni-kiel.de
|
|
|
|
* Tim Weißenfels (MA): stu126998@mail.uni-kiel.de
|
|
|
|
|
|
|
|
### Groups
|
|
|
|
|
|
|
|
* Bennet and Tammo: Sudoko
|
|
|
|
* Leif-Erik and Marvin: 4 Gewinnt
|
|
|
|
* Eduard and David: Hangman
|
|
|
|
* Tim and Kai: 2048
|
|
|
|
|
|
|
|
## Roadmap
|
|
|
|
|
|
|
|
1. Learning Elm by developing simple example programs
|
| ... | ... | |
