# Algorithmisches Beweisen - LAB
Dateien in diesem Repository:
- `Makefile`: Hiermit lässt sich jedes Programm in src kompilieren.
- `src/hello_world.cpp`: Hello World test Programm.