GitHub repository: lpw25/shifted-names
Primary language: Coq
Created: 2019-09-15T15:52:27Z
Description: Coq library for handling names