Fun with Formal Methods for Better Education. - Nikolay V. Shilov 002; Evgeniy Muravev; Svetlana O. Shilova (FMFun, 2019)