knowsys / knowsys/FormaleSysteme
Skript zur VL von Christel Baier
- Dominant language
- TeX
- Stars
- 51
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Description
lecture-01.tex, Zeile 200: Folgender [Link](https://www.researchgate.net/profile/Christel-Baier/publication/267409804_Formale_Systeme_WS_20112012_Skript_zur_Vorlesung/links/54e24b020cf2966637965e77/Formale-Systeme-WS-2011-2012-Skript-zur-Vorlesung.pdf) kann verwendet werden:
`{\tiny Siehe \url{https://www.researchgate.net/profile/Christel-Baier/publication/267409804_Formale_Systeme_WS_20112012_Skript_zur_Vorlesung/links/54e24b020cf2966637965e77/Formale-Systeme-WS-2011-2012-Skript-zur-Vorlesung.pdf}}`
Contributor guide
No contributing guide indexed for this repository
Research direction
Open lecture-01.tex at line 200 and review whether the proposed ResearchGate link and LaTeX snippet are present. Add the lecture-script reference there if it is missing, and consider the work done when the link is included correctly.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- tex
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 45/100