metalib

Coq ★ 1 updated 13y ago ⑂ fork

The Penn Locally Nameless Metatheory Library

No plain-English explanation yet — one is being written right now. Check back in a minute.