GitHub repository: ppolesiuk/IxFree
Primary language: Coq
Description: A Coq library with shallow embedding of step-indexed domain specific logic