shifted-names. Coq library for handling names

github.com/lpw25/shifted-names

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.