search

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]
https://madiot.fr/coq100/
Other
55 stars 14 forks source link

Switch to GitHub Actions for CI #21

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Also, I transferred some README.md changes to meta.yml, and regenerated README.md using our templates.