search

exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

Use Coq docker in travis #40

Closed Bubbler-4 closed 5 years ago

Bubbler-4 commented 5 years ago

This is a base work before we can run track tests in travis.