GitHub Action to compile LaTeX documents
MIT License
A GitHub Action to set up TeX Live
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]