search

exercism / coq

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

Travis tweaks #5

Closed proger closed 5 years ago

proger commented 7 years ago

This is a playground for Travis.

Bubbler-4 commented 5 years ago

Closing as the PR is way too old.