First complete version of docker-coq-action - Githubissues

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

MIT License

12 stars 4 forks source link

First complete version of docker-coq-action #11

Closed erikmd closed 4 years ago