Materials & home works for IFMO'2018 logic course
Primary LanguageTeX
No issues in this repository yet.