knowsys / knowsys/FormaleSysteme
Vorlesung 22 ist ziemlich langweilig
Open
enhancement
- Dominant language
- TeX
- Stars
- 51
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Description
Der Teil zu Äquivalenzen und Normalformen ist nicht sehr unterhaltsam und wiederholt gleichzeitig viele Dinge, die den Studierenden bereits aus anderen Kursen bekannt sind. Eventuell sollte man einiges in der Darstellung beschleunigen und stattdessen interessanteres Material einbringen.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.