Программы для изучения модальной логики.
master
Shurik
переименовал папку
поправил .gitignore и описание README.md
правка в README.md