search

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
MIT License
12 stars 4 forks source link

docs(README.md): Add more markdown badges #63

Closed erikmd closed 3 years ago

erikmd commented 3 years ago

(Direct link to rendered README.md)