Commit 30b762f3 authored by Johannes Lenzen's avatar Johannes Lenzen
Browse files

Updated Readme

parent 6f985875
Pipeline #166221 failed with stage
in 11 minutes and 34 seconds
# FoSAP Formelsammlung
[![pipeline status](https://git.rwth-aachen.de/gameplaceholder/placeholdergame/badges/master/pipeline.svg)](https://git.rwth-aachen.de/gameplaceholder/placeholdergame/commits/master)
Eine Formelsammlung für die Formale Systeme Automaten und Prozesse Vorlesung im SoSe 19 bei
Prof. Dr. ir. Dr. h. c. Katoen.
Die Richtigkeit der dargestellten Informationen ist nicht garantiert,
aber das Ziel.
Falls somit Fehler gefunden wärden, bitte ein Ticket erstellen oder direkt einen Merge Request mit der Korrektur.
Die Richtigkeit der dargestellten Informationen ist nicht garantiert.
Falls somit Fehler gefunden wärden, bitte ein Issue Request oder direkt einen Merge Request mit der Korrektur erstellen.
## Downloads
[Formale Systeme Formelsammlung](https://git.rwth-aachen.de/johannes.lenzen/fosap-formelsammlung/-/jobs/artifacts/master/raw/report.pdf?job=build:latex)
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment