GitHub repository: sofurihafe/formal-lang-course
Primary language: Jupyter Notebook
Description: SPbSU FL&AT 2022