Studies
/
ETH_CS_Resources
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

NEW: FMFP readme

This commit is contained in:
Jean-Claude 2021-09-20 22:51:50 +02:00
parent 2884bbe0fa
commit 248a845d6a
Signed by: jeanclaude
GPG Key ID: 8A300F57CBB9F63E
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
21-1_FMFP-S/README.md Normal file
View File

@ -0,0 +1,12 @@
# Formal Methods and Functional Programming
---
Lecture summary for the *Formal Methods and Functional Programming* class, held by Prof. David Basin and Prof. Peter Müller in FS 2021.
You can get a pre-compiled version of the summary [here](./main_final.pdf). However, I suggest you to rather compile it yourself to make sure that it really contains all the lastest changes.
## Disclaimer
This summary has not been proof-read and certainly contains many typos and errors. Further, it is not guaranteed to contain all material covered in the designated lecture. Do not hesitate to report them to me or fix them yourself and create a PR.
## Credits
This summary is mainly based on the lectures and exercise sessions.