jgrosso / coq-alpha-pearl

Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jgrosso/coq-alpha-pearl Stargazers