/coq-fun

Having fun with coq and some exercises

Watchers