Программа для проверки - sergeresko/Lem_in-explanation GitHub Wiki

По ссылке ниже находится описание программы, которой можно проверять, правильное ли решение выдаёт ваш lem-in:

https://github.com/sergeresko/lem_in/wiki/Lem_in-verifier