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 How to use within Emacs https://twelf.org/wiki/twelf-with-emacs/