GitHub repository: snu-sf/metalib
Primary language: Coq
Description: The Penn Locally Nameless Metatheory Library