Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool