/mathlogic

Primary LanguagePython

mathlogic

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