This is a Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002). Please see README.pdf
for more detail.
jgrosso / coq-alpha-pearl Goto Github PK
View Code? Open in Web Editor NEWCoq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
License: MIT License