Primary LanguagePython
Homeworks for Mathematical Logic course HW2 requiers antlr4-python3-runtime package