dongjaelee1/refinement-tutorial

Tutorial for refinement based verification

Coq