nsychev

Docker image for ITMO Logic conspects · https://github.com/itmo-logic/logic-notes/tree/docker