GitHub repository: yj-han/refinement-tutorial
Primary language: Coq
Description: Tutorial for refinement based verification