twelf-docker A Docker image for Twelf. Install Docker https://docs.docker.com/ How to use it First run make build connect Next runs make connect