/coq-fun

Having fun with coq and some exercises

coq-fun