/coq-fun

Having fun with coq and some exercises

No issues in this repository yet.