/shifted-names

Coq library for handling names

Primary LanguageCoq

This repository is not active