FormalLanguageConstrainedPathQuerying / FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
Хэдеры не соответствуют содержанию
Open
- Dominant language
- TeX
- Stars
- 6
- Forks
- 12
- PR merge metrics
- No merged PRs in 30d
Description
В хэдере у разделов "Список авторов" и "Введение" стоит "Оглавление".
Вероятно, решается вот [этим](https://stackoverflow.com/questions/2488681/latex-unnumbered-section-in-header-of-document).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.